bugfix anchor links starting with # character
authorPaul Hänsch <paul@plutz.net>
Sun, 26 Jun 2022 17:31:00 +0000 (19:31 +0200)
committerPaul Hänsch <paul@plutz.net>
Sun, 26 Jun 2022 17:31:00 +0000 (19:31 +0200)
commit175ea9642bc5997c5e59b69f01a9f9d0e4f3039f
treeab05caca205a982f418b14bc0a237990d874f535
parentdfadf30dcbd36c4ea8a694ac556e22d78e4419a6
bugfix anchor links starting with # character
markdown.awk