diff options
author | 1138-4EB <1138-4EB@users.noreply.github.com> | 2019-06-25 06:09:45 +0200 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2019-06-25 06:09:45 +0200 |
commit | 5a423cc6742b02922533e9ac279677684322e655 (patch) | |
tree | 300f7976a4a48f1932642d62486ba9a7cf398d51 /doc/COPYING_DOC.md | |
parent | 8ed91011ffeeb38b725a5645e76efe3969d152c9 (diff) | |
download | ghdl-5a423cc6742b02922533e9ac279677684322e655.tar.gz ghdl-5a423cc6742b02922533e9ac279677684322e655.tar.bz2 ghdl-5a423cc6742b02922533e9ac279677684322e655.zip |
Fix some issues with the docs (#857)
* fix: minor doc issues
* fix: doc/helpers.py
Diffstat (limited to 'doc/COPYING_DOC.md')
0 files changed, 0 insertions, 0 deletions