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