diff options
author | umarcor <unai.martinezcorral@ehu.eus> | 2022-02-07 18:20:07 +0100 |
---|---|---|
committer | umarcor <unai.martinezcorral@ehu.eus> | 2022-02-07 18:41:31 +0100 |
commit | ea18eb25e53567a979d40d6cc2d69e1d3e289c93 (patch) | |
tree | 322ac3c5916240a339069d134842142f5ad9e0a1 /doc/COPYING_DOC.md | |
parent | 76b17599cb66d757e1ced79a8a786c924e409a26 (diff) | |
download | ghdl-ea18eb25e53567a979d40d6cc2d69e1d3e289c93.tar.gz ghdl-ea18eb25e53567a979d40d6cc2d69e1d3e289c93.tar.bz2 ghdl-ea18eb25e53567a979d40d6cc2d69e1d3e289c93.zip |
doc/conf: fall back to 'alabaster' if '_theme' does not exist
Diffstat (limited to 'doc/COPYING_DOC.md')
0 files changed, 0 insertions, 0 deletions