summaryrefslogtreecommitdiff
path: root/src/options.adb
AgeCommit message (Expand)Author
2014-12-31Rename name_table.name_buffer and name_length to avoid clash.Tristan Gingold
2014-11-04Move sources to src/ subdirectory.Tristan Gingold