summaryrefslogtreecommitdiff
path: root/src/grt/grt-options.adb
AgeCommit message (Expand)Author
2015-03-07Implement ticket 37: add switch -gNAME=VAL to override top entity generics.Tristan Gingold
2014-11-05Move files and dirs from translate/Tristan Gingold