diff options
| author |   Alfredo Tupone <tupone@gentoo.org> | 2022-04-25 18:53:19 +0200 |
|---|---|---|
| committer | Alfredo Tupone <tupone@gentoo.org> | 2022-04-25 18:54:44 +0200 |
| commit | b8331d39d85369443bb1f441db1da4d27e3a4139 (patch) | |
| tree | b174741486b4b2bfde8aafdd0fd6e302daa7940f /dev-ros/object_recognition_msgs | |
| parent | mail-filter/amavisd-milter: Version bump for 1.7.2 (diff) | |
| download | gentoo-b8331d39d85369443bb1f441db1da4d27e3a4139.tar.gz gentoo-b8331d39d85369443bb1f441db1da4d27e3a4139.tar.bz2 gentoo-b8331d39d85369443bb1f441db1da4d27e3a4139.zip | |
package.mask: add ppx_log to janestreet mask
Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
Diffstat (limited to 'dev-ros/object_recognition_msgs')
0 files changed, 0 insertions, 0 deletions