about summary refs log tree commit diff
path: root/third_party/lisp/fiveam/.boring
diff options
context:
space:
mode:
authorVincent Ambo <tazjin@google.com>2020-01-17T18·37+0000
committerVincent Ambo <tazjin@google.com>2020-01-17T18·37+0000
commit7db9b2aa71847e96e5d5a4713a7835147278a1b4 (patch)
treeaf32fc26548916e90d1ed951340da76ff60e9887 /third_party/lisp/fiveam/.boring
parent807445a10b4d6f2faff3765bbe1dc38cad81b31c (diff)
parent728a186263688293c214297cf8ea34dde8b20edb (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/.boring14
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 000000000000..662944f765b3
--- /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($|/)