diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-10-15 06:41:36 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-10-15 06:41:36 +0200 |
| commit | acf68c6a935edaf9cd3f575a5606e8fc6bd0fecb (patch) | |
| tree | 9bc90b9c564e3bc20cadf8516f4854de0587ed70 /src/options.ads | |
| parent | 2485c247d5eae5f88c37708c2346c015caf22dbc (diff) | |
| download | ghdl-acf68c6a935edaf9cd3f575a5606e8fc6bd0fecb.tar.gz ghdl-acf68c6a935edaf9cd3f575a5606e8fc6bd0fecb.tar.bz2 ghdl-acf68c6a935edaf9cd3f575a5606e8fc6bd0fecb.zip | |
ghdlsynth: allow --work= option in the middle of files.
Diffstat (limited to 'src/options.ads')
0 files changed, 0 insertions, 0 deletions