Merge pull request #635 from mcarton/fix-wiki

Fix wiki
2016-02-07 19:48:03 +05:30 · 2016-02-07 19:48:03 +05:30 · 4d5cd7255d
commit 4d5cd7255d
parent 2c212dc301 d14c4ea187
1 changed files with 1 additions and 1 deletions
--- a/util/update_wiki.py
+++ b/util/update_wiki.py
@ -79,7 +79,7 @@ errors of missing symbols.
 """


-template = """# `%s`
+template = """\n# `%s`

 **Default level:** %s