2023-02-06 | Add syntax highlighting to notes | commit | commitdiff | |
2023-02-03 | Better organize head{,er} files | commit | commitdiff | |
2023-02-03 | correct git urls before prettification | commit | commitdiff | |
2023-02-03 | static match to prod | commit | commitdiff | |