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 /logo | |
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 'logo')
0 files changed, 0 insertions, 0 deletions