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