patch applied (hugs98): exclude GHC and NHC top-level hierarchies
29 Aug
2007
29 Aug
'07
5:53 p.m.
Wed Aug 29 08:39:56 PDT 2007 Ross Paterson <ross@soi.city.ac.uk> * exclude GHC and NHC top-level hierarchies M ./libraries/tools/make_bootlib -1 +2
6893
Age (days ago)
6893
Last active (days ago)
0 comments
1 participants
participants (1)
-
Ross Paterson