diff options
Diffstat (limited to 'tools/github-projects.py')
| -rw-r--r-- | tools/github-projects.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/github-projects.py b/tools/github-projects.py index e2afe95..ff890f6 100644 --- a/tools/github-projects.py +++ b/tools/github-projects.py | |||
| @@ -16,7 +16,7 @@ def generate_markdown_file(include_repositories): | |||
| 16 | file = open("../content/pages/projects.github.md.part", "w") | 16 | file = open("../content/pages/projects.github.md.part", "w") |
| 17 | 17 | ||
| 18 | file.write(DOUBLE_NL) | 18 | file.write(DOUBLE_NL) |
| 19 | file.write("## GitHub repositories") | 19 | file.write("# GitHub repositories") |
| 20 | file.write(DOUBLE_NL) | 20 | file.write(DOUBLE_NL) |
| 21 | 21 | ||
| 22 | file.write("<div class='project-list'>") | 22 | file.write("<div class='project-list'>") |