summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2021-01-24Remove the new GNATCOL.OS.* packagesPierre-Marie de Rodat
2018-03-11Make this package conflict with the legacy "gnatcoll"Pierre-Marie de Rodat
2018-03-10Initial commitPierre-Marie de Rodat