diff options
Diffstat (limited to '.darcs-boring')
-rw-r--r-- | .darcs-boring | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.darcs-boring b/.darcs-boring index 681ab0cf78..a1a64456b8 100644 --- a/.darcs-boring +++ b/.darcs-boring @@ -91,7 +91,6 @@ # Other library bits that get generated: ^libraries/bootstrapping/ ^libraries/stamp/ -^libraries/cabal-bin$ ^libraries/ifBuildable(/|$) ^libraries/installPackage(/|$) ^libraries/index.html |