projects / gentoo.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 71bad4e) | patch
profiles/use.desc: remove gnat_201*
authorTupone Alfredo <tupone@gentoo.org>
Thu, 5 Dec 2019 06:48:57 +0000 (07:48 +0100)
committerTupone Alfredo <tupone@gentoo.org>
Thu, 5 Dec 2019 06:49:47 +0000 (07:49 +0100)
commit2a701f764866e975b483bd5413ccb573eece7218
tree19571c24d929cb65169d56555fdccdc4d1820410tree | snapshot
parent71bad4e56e346f4c8cf2a657311dd6c54590017ecommit | diff
profiles/use.desc: remove gnat_201*

Signed-off-by: Alfredo Tupone <tupone@gentoo.org>
profiles/use.desc diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.