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 | 7db9b2aa71847e96e5d5a4713a7835147278a1b4 (patch) | |
| tree | af32fc26548916e90d1ed951340da76ff60e9887 /third_party/lisp/fiveam/.boring | |
| parent | 807445a10b4d6f2faff3765bbe1dc38cad81b31c (diff) | |
| parent | 728a186263688293c214297cf8ea34dde8b20edb (diff) | |
Merge commit '728a186263688293c214297cf8ea34dde8b20edb' as 'third_party/lisp/fiveam' r/396
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($|/) |