summaryrefslogtreecommitdiff
path: root/.gitignore
AgeCommit message (Collapse)Author
2015-03-14.ali files from GNAT now ignoredJed Barber
2014-02-10Added /bin directory, set to ignore any files placed in thereJed Barber
2014-02-10Added .gitignore for files generated from compilationJed Barber