diff options
author | 2007-09-13 21:07:21 +0000 | |
---|---|---|
committer | 2007-09-13 21:07:21 +0000 | |
commit | 16771a824510148a2eb7af99915005f1dfd014c2 (patch) | |
tree | 3ce395e7d7f8eef4ea684c9d1635417eb3c6f538 /.darcs-boring | |
parent | dda571e7df6a131bcafbc562d0bac302c32418b0 (diff) |
Add more entries to boring file
Diffstat (limited to '.darcs-boring')
-rw-r--r-- | .darcs-boring | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.darcs-boring b/.darcs-boring index 6682606..93af3b9 100644 --- a/.darcs-boring +++ b/.darcs-boring @@ -3,3 +3,11 @@ ^GNUmakefile$ ^Makefile.local$ ^.depend(.bak)?$ +^autom4te.cache(/|$) +^config.log$ +^config.status$ +^configure$ +^include/HsUnixConfig.h$ +^include/HsUnixConfig.h.in$ +^include/HsUnixConfig.h.in~$ +^unix.buildinfo$ |