diff options
| author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2017-03-04 22:40:02 +0100 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
| commit | 40e5d27a511de9ed2b97a5fa976b1ce9d4999312 (patch) | |
| tree | b8b04c5e643f76ea75a9186e92ee99035cc07f10 /doc/_static/theme_overrides.css | |
| parent | 5f22989f027c2a60c10527dcd0aaee0505adaad3 (diff) | |
| download | ghdl-40e5d27a511de9ed2b97a5fa976b1ce9d4999312.tar.gz ghdl-40e5d27a511de9ed2b97a5fa976b1ce9d4999312.tar.bz2 ghdl-40e5d27a511de9ed2b97a5fa976b1ce9d4999312.zip | |
Fixed typo.
Diffstat (limited to 'doc/_static/theme_overrides.css')
0 files changed, 0 insertions, 0 deletions