diff options
| -rw-r--r-- | .darcs-boring | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/.darcs-boring b/.darcs-boring index f914da0a6c..71aad5b547 100644 --- a/.darcs-boring +++ b/.darcs-boring @@ -1,5 +1,15 @@ +#Top-level dirs: +^compiler/ +^CONTRIB/ +^includes/ +^lib/ +^misc/ +^mkworld/ +^runtime/ +^utils/ +^driver/ # Boring file regexps: -\.hi$ +#\.hi$ \.o$ \.o\.cmd$ # *.ko files aren't boring by default because they might |