patch applied (hugs98): fix selection of module names in bootstrap
19 Oct
2007
19 Oct
'07
1:12 a.m.
Thu Oct 18 09:48:32 PDT 2007 Ross Paterson <ross@soi.city.ac.uk> * fix selection of module names in bootstrap M ./libraries/tools/make_bootlib -2 +2
6872
Age (days ago)
6872
Last active (days ago)
0 comments
1 participants
participants (1)
-
Ross Paterson