diff options
| -rw-r--r-- | .darcs-boring | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.darcs-boring b/.darcs-boring index e66e7a5805..486270a346 100644 --- a/.darcs-boring +++ b/.darcs-boring @@ -53,6 +53,7 @@ ^libraries/ndp(/|$) ^libraries/network(/|$) ^libraries/parsec(/|$) +^libraries/parallel(/|$) ^libraries/pretty(/|$) ^libraries/process(/|$) ^libraries/random(/|$) |