GitWeb
Get Gentoo!
gentoo.org sites
gentoo.org
Wiki
Bugs
Forums
Packages
Planet
Archives
Sources
Infra Status
Home
Gentoo Repository
Repositories
Projects
Developer Overlays
User Overlays
Data
Websites
index
:
repo/sync/gentoo.git
master
stable
Sync-friendly git mirror of repo/gentoo with caches and metadata
Michał Górny <mgorny@gentoo.org>
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
dev-ada
/
xmlada
/
files
Commit message (
Expand
)
Author
Age
Files
Lines
*
dev-ada/xmlada: remove unused patch
Michael Mair-Keimberger
2019-12-08
1
-41
/
+0
*
dev-ada/xmlada: bump 2019
Tupone Alfredo
2019-06-03
1
-0
/
+30
*
dev-ada/xmlada: Enable build with gnat-gpl-2019
Tupone Alfredo
2019-05-30
1
-4
/
+15
*
dev-ada/xmlada: Stabilize and remove old
Tupone Alfredo
2018-11-07
1
-0
/
+0
*
dev-ada/xmlada: Remove duplicated file
Tupone Alfredo
2018-10-13
1
-30
/
+0
*
dev-ada/xmlada: Version bump to dev-ada/xmlada-2018
Tupone Alfredo
2018-06-09
1
-0
/
+30
*
dev-ada/xmlada: remove unused patch
Michael Mair-Keimberger
2018-01-03
1
-42
/
+0
*
dev-ada/xmlada: Providing test
Tupone Alfredo
2017-12-04
2
-1
/
+54
*
dev-ada/xmlada: Build using the compiler associated to gprbuild
Tupone Alfredo
2017-06-22
2
-20
/
+0
*
dev-ada/xmlada: Respect ADA (env vars)
Tupone Alfredo
2017-06-20
2
-0
/
+20
*
dev-ada/xmlada: Enable verbose mode during build
Tupone Alfredo
2017-05-28
1
-13
/
+3
*
dev-ada/xmlada: Add dev-ada/xmlada-9999
Tupone Alfredo
2017-05-08
1
-9
/
+0
*
dev-ada/xmlada: Add dev-ada/xmlada
Tupone Alfredo
2017-03-26
1
-0
/
+38