Fix wiki

Markdown is hell.
2016-02-07 15:14:12 +01:00 · 2016-02-07 15:14:12 +01:00 · d14c4ea187
commit d14c4ea187
parent 2c212dc301
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