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