summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2018-03-11Make this package conflict with the legacy "gnatcoll"Pierre-Marie de Rodat
2018-03-10Initial commitPierre-Marie de Rodat