Add Markdown headers where missing.

2026-08-07 23:16:21 +00:00 · 2020-10-07 14:13:36 +02:00
parent 992d917c90
commit edd8aa3932
451 changed files with 462 additions and 3 deletions
@@ -0,0 +1,8 @@
+# Addheader.py
+
+Use with care, it's hacky.
+
+[[todo]] Think about which other trivial tools could belong in tools/.
+[//begin]: # "Autogenerated link references for markdown compatibility"
+[todo]: todo "Todo"
+[//end]: # "Autogenerated link references"