This website requires JavaScript.
Explore
Help
Register
Sign In
gentoo-mirror
/
gentoo
Watch
1
Star
0
Fork
0
mirror of
https://github.com/gentoo-mirror/gentoo.git
synced
2026-11-08 18:27:07 -08:00
Code
Issues
Projects
Releases
Wiki
Activity
Files
333109ef3352bea7560c7f99b1dfd60ae1b702fb
gentoo
/
dev-ada
T
History
Ulrich Müller
0c7cce5e1b
[QA] Drop $Id$ lines that were added back to ebuild headers.
...
Bug: 611234
2017-04-15 22:06:10 +02:00
..
asis
[QA] Drop $Id$ lines that were added back to ebuild headers.
2017-04-15 22:06:10 +02:00
gnat_util
[QA] Drop $Id$ lines that were added back to headers.
2017-04-05 23:11:23 +02:00
gnatcoll
dev-ada/gnatcoll: fix discover of atomic inc/dec
2017-04-06 08:44:35 +02:00
gprbuild
dev-ada/gprbuild: Fix documentation directories
2017-03-30 21:10:43 +02:00
xmlada
dev-ada/xmlada: Fix dependency
2017-04-02 20:38:23 +02:00
metadata.xml
Revert DOCTYPE SYSTEM https changes in metadata.xml
2015-08-24 16:30:34 -04:00