patch applied (hugs98): fix selection of module names in bootstrap
Ross Paterson
ross at soi.city.ac.uk
Thu Oct 18 13:12:40 EDT 2007
Thu Oct 18 09:48:32 PDT 2007 Ross Paterson <ross at soi.city.ac.uk>
* fix selection of module names in bootstrap
M ./libraries/tools/make_bootlib -2 +2
More information about the Cvs-hugs
mailing list