diff options
| -rw-r--r-- | .darcs-boring | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.darcs-boring b/.darcs-boring index 2382892c1c..3ac238902c 100644 --- a/.darcs-boring +++ b/.darcs-boring @@ -1,7 +1,6 @@ #Top-level dirs: ^alex/ ^common-rts/ -^compiler/ ^CONTRIB/ ^dll/ ^greencard/ |