diff options
| author | Tristan Gingold <tgingold@free.fr> | 2018-09-14 03:02:10 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2018-09-15 04:14:22 +0200 |
| commit | 22e5cd34c564bbc838a9765f6acd22ce73a47d93 (patch) | |
| tree | a6e3b9f26a8d61db3b2099ff51af1033bbc47774 /.github | |
| parent | e8ffea0c97583b564770e3ace87fa9641983ef64 (diff) | |
| download | ghdl-22e5cd34c564bbc838a9765f6acd22ce73a47d93.tar.gz ghdl-22e5cd34c564bbc838a9765f6acd22ce73a47d93.tar.bz2 ghdl-22e5cd34c564bbc838a9765f6acd22ce73a47d93.zip | |
Remove -gnat05, always use GNATFLAGS.
Fix #651
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions