diff options
| author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-02-23 21:20:14 +0100 |
|---|---|---|
| committer | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-02-23 21:20:26 +0100 |
| commit | 2229a475a4ff9ddc07180f0b04140802f40de085 (patch) | |
| tree | 6679e516bfcef660d0674bb3acd3872770e20ef4 /src/grt | |
| parent | 75204b10ffb1f57fd035d8f0c601618b30e4b81a (diff) | |
| download | ghdl-2229a475a4ff9ddc07180f0b04140802f40de085.tar.gz ghdl-2229a475a4ff9ddc07180f0b04140802f40de085.tar.bz2 ghdl-2229a475a4ff9ddc07180f0b04140802f40de085.zip | |
add sphinx_rtd_theme to requirements.txt
Diffstat (limited to 'src/grt')
0 files changed, 0 insertions, 0 deletions