push-all needs to skip http:// repos, as we don't know how to push to them
[ghc-hetmet.git] / libraries / doc /
2007-03-06 Ian LynaghRemove outdated libraries/doc/libraries.xml and librari...
2007-03-06 Ian LynaghRemove old references to the in-tree building guide
2006-01-13 Simon MarlowAdd a skeleton libraries directory