diff options
| author | tgingold <tgingold@users.noreply.github.com> | 2022-12-31 13:53:28 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-12-31 13:53:28 +0100 |
| commit | da0cd6274648094a7ab8876cc59f7ac05b8d56e7 (patch) | |
| tree | eaa9df8d7e144666e9d31e4efe5e3623c456187e /.github | |
| parent | 07b6da32b4c47519cfe6f02146a3fc099fbcdcbe (diff) | |
| parent | e81d690720599fa313ff249a072b5457782fbe24 (diff) | |
| download | ghdl-da0cd6274648094a7ab8876cc59f7ac05b8d56e7.tar.gz ghdl-da0cd6274648094a7ab8876cc59f7ac05b8d56e7.tar.bz2 ghdl-da0cd6274648094a7ab8876cc59f7ac05b8d56e7.zip | |
Merge pull request #2293 from ghdl/paebbels/sphinx-version-limit
Limit Sphinx to 5.3 <= XX < 6.0
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions