diff options
| author | Tristan Gingold <tgingold@free.fr> | 2021-11-05 18:51:59 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2021-11-05 18:51:59 +0100 |
| commit | 894b357144b5b84800e970ee952f137485b6fb62 (patch) | |
| tree | 7ae6a98fe22ecd708f82670644491c1a0c6765de /src/files_map-editor.adb | |
| parent | 50faedfbe23e1ec94a378b8b4285974410e014e7 (diff) | |
| download | ghdl-894b357144b5b84800e970ee952f137485b6fb62.tar.gz ghdl-894b357144b5b84800e970ee952f137485b6fb62.tar.bz2 ghdl-894b357144b5b84800e970ee952f137485b6fb62.zip | |
vhdl-configuration: stop earlier in case of error. Fix #1908
Diffstat (limited to 'src/files_map-editor.adb')
0 files changed, 0 insertions, 0 deletions