diff options
| author | Patrick Lehmann <Paebbels@gmail.com> | 2019-02-24 20:17:18 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-24 20:17:18 +0100 |
| commit | b45978363155a452462f61782752d9729c69f494 (patch) | |
| tree | 22f5a2025fd16806b51024bbf44b67091137ddeb /doc/exec.py | |
| parent | 35f9998cef740464bf88304a2f2b016a1ea001fe (diff) | |
| parent | 091ae4b012c9fd624b7f33634966c15148ee34f5 (diff) | |
| download | ghdl-b45978363155a452462f61782752d9729c69f494.tar.gz ghdl-b45978363155a452462f61782752d9729c69f494.tar.bz2 ghdl-b45978363155a452462f61782752d9729c69f494.zip | |
Merge pull request #766 from 1138-4EB/update-rtd-conf
Update `.readthedocs.yml` to version 2.
Diffstat (limited to 'doc/exec.py')
0 files changed, 0 insertions, 0 deletions