diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-06-25 06:10:24 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-06-25 06:10:24 +0200 |
commit | 76d0604075ba81298aff371518b07e447c9aa22d (patch) | |
tree | f5cb8d49acec4b3d6083e932d76e9daf517cedda /src/options.ads | |
parent | 5a423cc6742b02922533e9ac279677684322e655 (diff) | |
download | ghdl-76d0604075ba81298aff371518b07e447c9aa22d.tar.gz ghdl-76d0604075ba81298aff371518b07e447c9aa22d.tar.bz2 ghdl-76d0604075ba81298aff371518b07e447c9aa22d.zip |
fix(makefile): conf.py does not exist anymore (#856)
Diffstat (limited to 'src/options.ads')
0 files changed, 0 insertions, 0 deletions