projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a826064) | patch
profiles/package.mask: update dev-ml/ppx_tools mask to match current versionning...
authorAlexis Ballier <aballier@gentoo.org>
Wed, 16 Mar 2016 18:25:05 +0000 (19:25 +0100)
committerAlexis Ballier <aballier@gentoo.org>
Wed, 16 Mar 2016 18:25:14 +0000 (19:25 +0100)
commit788ae88ed97fde65285221c3d4fcb0795c167c32
tree18ea0d1c897106ac772905b28d8c1a32ce7f049btree | snapshot
parenta82606451531010f03f74a67730db5efb3066b8fcommit | diff
profiles/package.mask: update dev-ml/ppx_tools mask to match current versionning scheme
profiles/package.mask diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.