Age | Commit message (Collapse) | Author | |
---|---|---|---|
2017-11-27 | drake-git: set correct permissions on ali files | Earnestly | |
2017-11-26 | drake-git: now licensed under MIT | Earnestly | |
2017-11-25 | drake-git: fool gnatlink into using -lpthread implicitly | Earnestly | |
2017-11-23 | drake-git: forgot to include the headmaster dependency | Earnestly | |
2017-11-23 | drake-git: clarify that this is a gnat replacement, not gcc-ada | Earnestly | |
2017-11-23 | add drake | Earnestly | |