diff options
| author | umarcor <unai.martinezcorral@ehu.eus> | 2020-08-30 23:56:50 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2020-08-31 08:08:31 +0200 |
| commit | 5b1f9ab31b9f46063f140afe6a4d5388d8e505bb (patch) | |
| tree | 672a037f96fd6c7dc8ab3852e078177ac26e433c /doc/exec.py | |
| parent | 853bfe518132a3dd53b5982ca5cfb90b7bb320e8 (diff) | |
| download | ghdl-5b1f9ab31b9f46063f140afe6a4d5388d8e505bb.tar.gz ghdl-5b1f9ab31b9f46063f140afe6a4d5388d8e505bb.tar.bz2 ghdl-5b1f9ab31b9f46063f140afe6a4d5388d8e505bb.zip | |
doc: fix title length
Diffstat (limited to 'doc/exec.py')
0 files changed, 0 insertions, 0 deletions