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/index.rst | |
parent | 853bfe518132a3dd53b5982ca5cfb90b7bb320e8 (diff) | |
download | ghdl-5b1f9ab31b9f46063f140afe6a4d5388d8e505bb.tar.gz ghdl-5b1f9ab31b9f46063f140afe6a4d5388d8e505bb.tar.bz2 ghdl-5b1f9ab31b9f46063f140afe6a4d5388d8e505bb.zip |
doc: fix title length
Diffstat (limited to 'doc/index.rst')
0 files changed, 0 insertions, 0 deletions