aboutsummaryrefslogtreecommitdiffstats
path: root/src/grt/grt-wave_opt-design.ads
Commit message (Expand)AuthorAgeFilesLines
* Support added for * and **. Please note that wildcards inside names like /top...Jonas Baggett2016-11-021-4/+11
* There is a new --write-opt-file option that will create a wave option file wi...Jonas Baggett2016-11-011-0/+60