From ed0f5d5631bdd5424f4759c9ce025565dad6c544 Mon Sep 17 00:00:00 2001
From: Marco Baringer <mb@bese.it>
Date: Wed, 6 Jul 2005 10:16:30 +0000
Subject: [PATCH] added arch stuff to boring file

darcs-hash:f48756b12a78697de3a92db1b4eaefc6ad75b469
---
 .boring | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.boring b/.boring
index 7f623d6..366517c 100644
--- a/.boring
+++ b/.boring
@@ -8,3 +8,7 @@
 \.x86f$
 \.fas$
 \.lib$
+^docs/html($|/)
+^docs/pdf($|/)
+^{arch}$
+(^|/).arch-ids($|/)
-- 
GitLab