diff options
| -rw-r--r-- | .darcs-boring | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.darcs-boring b/.darcs-boring index ab0ea5bee7..6d91f7205a 100644 --- a/.darcs-boring +++ b/.darcs-boring @@ -82,6 +82,11 @@ ^libraries/unique(/|$) ^libraries/unix(/|$) ^libraries/xhtml(/|$) +^libraries/dph(/|$) +^libraries/utf8-string(/|$) +^libraries/terminfo(/|$) +^libraries/haskeline(/|$) +^libraries/extensible-exceptions(/|$) # Other library bits that get generated: ^libraries/bootstrapping/ ^libraries/stamp/ |