aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-wave_opt-file.adb
Commit message (Expand)AuthorAgeFilesLines
* grt: adjust grt-wave_opt error API.Tristan Gingold2018-09-161-10/+13
* grt: rework error API (WIP) - rework report, add warning.Tristan Gingold2018-09-161-12/+15
* grt: rework error API (WIP).Tristan Gingold2018-09-161-11/+11
* Add support for extended identifiers in wave option files. (#236)Jonas Baggett2016-12-201-1/+27
* Support added for * and **. Please note that wildcards inside names like /top...Jonas Baggett2016-11-021-31/+52
* There is a new --write-opt-file option that will create a wave option file wi...Jonas Baggett2016-11-011-0/+438