-
Simon Marlow authored
The ./darcs-all script at the top level is an easier way to do darcs pull/push/get on the whole tree (it should probably allow more commands; I'll fix that later). libraries/default-packages is a list of darcs repositories with which to populate the libraries tree.
60d9fc0b