diff options
author | Unai Martinez-Corral <unai.martinezcorral@ehu.eus> | 2023-02-25 17:18:36 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2023-02-26 19:48:44 +0100 |
commit | 19babff18e95896639f1de01785f2b7ea8608beb (patch) | |
tree | 28bf18796ce27bcd63d79a3dd5b8017eab0f0c5f /Makefile.in | |
parent | ef8d2cddcf44ae639d8a4f06ca2533bbb0c98954 (diff) | |
download | ghdl-19babff18e95896639f1de01785f2b7ea8608beb.tar.gz ghdl-19babff18e95896639f1de01785f2b7ea8608beb.tar.bz2 ghdl-19babff18e95896639f1de01785f2b7ea8608beb.zip |
doc: change theme to 'furo'
Diffstat (limited to 'Makefile.in')
0 files changed, 0 insertions, 0 deletions