diff options
| author | Tristan Gingold <tgingold@free.fr> | 2020-03-10 18:19:56 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2020-03-10 18:19:56 +0100 |
| commit | 811f14380a09f7c1d17f5cc117282882a420b6e7 (patch) | |
| tree | ed0a5e58dfbb5455fb134fb756a802f435ee14f9 /src/options.adb | |
| parent | 1f65e819edaa21227b7e428deca239beb9b38ce2 (diff) | |
| download | ghdl-811f14380a09f7c1d17f5cc117282882a420b6e7.tar.gz ghdl-811f14380a09f7c1d17f5cc117282882a420b6e7.tar.bz2 ghdl-811f14380a09f7c1d17f5cc117282882a420b6e7.zip | |
ghdlmain: minor refactoring.
Diffstat (limited to 'src/options.adb')
0 files changed, 0 insertions, 0 deletions