push-all needs to skip http:// repos, as we don't know how to push to them
[ghc-hetmet.git] / libraries / libraries-footer.txt
2006-01-13 Simon MarlowAdd a skeleton libraries directory