diff options
Diffstat (limited to '.boring')
| -rw-r--r-- | .boring | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/.boring b/.boring new file mode 100644 index 0000000000..dfa9e6dd7b --- /dev/null +++ b/.boring @@ -0,0 +1,13 @@ +# Boring file regexps: +~$ +^_darcs +^\{arch\} +^.arch-ids +\# +\.dfsl$ +\.ppcf$ +\.fasl$ +\.x86f$ +\.fas$ +\.lib$ +^public_html |