summarylogtreecommitdiffstats
AgeCommit message (Expand)Author
2017-11-27drake-git: set correct permissions on ali filesEarnestly
2017-11-26drake-git: now licensed under MITEarnestly
2017-11-25drake-git: fool gnatlink into using -lpthread implicitlyEarnestly
2017-11-23drake-git: forgot to include the headmaster dependencyEarnestly
2017-11-23drake-git: clarify that this is a gnat replacement, not gcc-adaEarnestly
2017-11-23add drakeEarnestly