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 /.github/workflows | |
| parent | ef8d2cddcf44ae639d8a4f06ca2533bbb0c98954 (diff) | |
| download | ghdl-19babff18e95896639f1de01785f2b7ea8608beb.tar.gz ghdl-19babff18e95896639f1de01785f2b7ea8608beb.tar.bz2 ghdl-19babff18e95896639f1de01785f2b7ea8608beb.zip | |
doc: change theme to 'furo'
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions