diff options
| author | Tristan Gingold <tgingold@free.fr> | 2019-10-02 04:33:16 +0200 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2019-10-02 04:33:16 +0200 |
| commit | 8cd28ef3318a735820aeac438e21f66bc3784694 (patch) | |
| tree | 908c9a2c3755c661ac15ff94f726f61475c1c2e7 /doc/conf.py | |
| parent | 79bd57b88d5d1279f8eb31376224c289ab351f0f (diff) | |
| download | ghdl-8cd28ef3318a735820aeac438e21f66bc3784694.tar.gz ghdl-8cd28ef3318a735820aeac438e21f66bc3784694.tar.bz2 ghdl-8cd28ef3318a735820aeac438e21f66bc3784694.zip | |
ghdlsynth: display bugbox in case of unknown exception.
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions