diff options
| author |   Joonas Niilola <juippis@gentoo.org> | 2020-05-13 11:08:31 +0300 |
|---|---|---|
| committer | Joonas Niilola <juippis@gentoo.org> | 2020-05-13 11:09:07 +0300 |
| commit | a779487c5aec0769030ccd105fd2d4298171fcb2 (patch) | |
| tree | 26685a04a8465bdccb2627bd5a4cfbf0e6ac492f /dev-ml/camlp5 | |
| parent | dev-java/tomcat-servlet-api: removed obsolete 9.0.33 (diff) | |
| download | gentoo-a779487c5aec0769030ccd105fd2d4298171fcb2.tar.gz gentoo-a779487c5aec0769030ccd105fd2d4298171fcb2.tar.bz2 gentoo-a779487c5aec0769030ccd105fd2d4298171fcb2.zip | |
profiles/arch/amd64/x32: align gitea with similar masks
Signed-off-by: Joonas Niilola <juippis@gentoo.org>
Diffstat (limited to 'dev-ml/camlp5')
0 files changed, 0 insertions, 0 deletions