diff options
author | Patrick Lehmann <Patrick.Lehmann@tu-dresden.de> | 2017-03-04 18:47:08 +0100 |
---|---|---|
committer | tgingold <tgingold@users.noreply.github.com> | 2017-12-10 12:02:05 +0100 |
commit | 7b2b91900e8217fd75fcc755f14c5f098662f1f8 (patch) | |
tree | a627a96ad6af99e0ec38b6ab6d6dad2c6e35c0ce /doc/genindex.rst | |
parent | 660998b341f810b8a37fed12cbf00e8d301ec3d7 (diff) | |
download | ghdl-7b2b91900e8217fd75fcc755f14c5f098662f1f8.tar.gz ghdl-7b2b91900e8217fd75fcc755f14c5f098662f1f8.tar.bz2 ghdl-7b2b91900e8217fd75fcc755f14c5f098662f1f8.zip |
Fixed typos, indentation and headline underlining.
Diffstat (limited to 'doc/genindex.rst')
-rw-r--r-- | doc/genindex.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/genindex.rst b/doc/genindex.rst index c07da40d1..d4fc2f48f 100644 --- a/doc/genindex.rst +++ b/doc/genindex.rst @@ -1,4 +1,4 @@ -.. This file is a placeholder and will be replaced +.. # This file is a placeholder and will be replaced Index ##### |