diff options
1 files changed, 1 insertions, 0 deletions
| -rw-r--r-- | awk-edits/Heading-anchors.awk | 1 |
diff --git a/awk-edits/Heading-anchors.awk b/awk-edits/Heading-anchors.awk index 29c35fe..e3846f9 100644 --- a/awk-edits/Heading-anchors.awk +++ b/awk-edits/Heading-anchors.awk @@ -1,3 +1,4 @@ +# .*html # # == About == # |