summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2021-01-24Update for recent versionsPierre-Marie de Rodat
2020-06-13Switch the dependency back to 'libadalang'Pierre-Marie de Rodat
2019-06-29Depend on libadalang-gitPierre-Marie de Rodat
2019-06-29Remove the obsolete GNAT bug workaroundPierre-Marie de Rodat
2018-03-18Initial commitPierre-Marie de Rodat