diff options
| author | Tristan Gingold <tgingold@free.fr> | 2017-02-18 07:18:53 +0100 |
|---|---|---|
| committer | Tristan Gingold <tgingold@free.fr> | 2017-02-18 07:18:53 +0100 |
| commit | e0698d365ed8697e11f1c69df86a5e0247f110fd (patch) | |
| tree | f4f813d8a4dc36bb8dacc33c911237b2b3184ab9 /doc/conf.py | |
| parent | af2de88ff6e8c0520e102c73029bbee2dfe5826f (diff) | |
| download | ghdl-e0698d365ed8697e11f1c69df86a5e0247f110fd.tar.gz ghdl-e0698d365ed8697e11f1c69df86a5e0247f110fd.tar.bz2 ghdl-e0698d365ed8697e11f1c69df86a5e0247f110fd.zip | |
Doc: fix sphinx diagnostic about duplicate option.
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions