diff options
1 files changed, 1 insertions, 0 deletions
| -rw-r--r-- | awk-edits/Group-contents.awk | 1 |
diff --git a/awk-edits/Group-contents.awk b/awk-edits/Group-contents.awk index 7f930b6..43fa460 100644 --- a/awk-edits/Group-contents.awk +++ b/awk-edits/Group-contents.awk @@ -1,3 +1,4 @@ +# .*(blog|slides|teaching|tutorials|misc)/.*/.*html # # == About == # |