diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-07-09 05:22:45 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-07-09 05:22:45 +0200 |
| commit | 757a76ead4a2cde8519a12ad10bfe19bd5984d18 (patch) | |
| tree | 0d40eb3d533ec49f06522eeee1d675f9e7b4f2cd /ghdl.gpr.in | |
| parent | 0926686937d3c673f46cd0d5c770a7fd4744a47d (diff) | |
| download | ghdl-757a76ead4a2cde8519a12ad10bfe19bd5984d18.tar.gz ghdl-757a76ead4a2cde8519a12ad10bfe19bd5984d18.tar.bz2 ghdl-757a76ead4a2cde8519a12ad10bfe19bd5984d18.zip | |
ghdllocal: correctly disp GHDL_PREFIX in --disp-config.
Diffstat (limited to 'ghdl.gpr.in')
0 files changed, 0 insertions, 0 deletions