diff options
| author | Vincent Ambo <tazjin@google.com> | 2020-01-17T18·37+0000 |
|---|---|---|
| committer | Vincent Ambo <tazjin@google.com> | 2020-01-17T18·37+0000 |
| commit | 728a186263688293c214297cf8ea34dde8b20edb (patch) | |
| tree | 50ad7a9c6c3a88dcfcb0fd4909040885d781676a /.boring | |
Squashed 'third_party/lisp/fiveam/' content from commit ee9456a2
git-subtree-dir: third_party/lisp/fiveam git-subtree-split: ee9456a2ac52b1c9f5f5f789d263f0f76a15176c
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($|/) |