[cvs-nhc98] patch applied (nhc98): remove the --strip option from cpphs when preprocessing for nhc98

Malcolm Wallace Malcolm.Wallace at cs.york.ac.uk
Mon Jun 25 05:53:20 EDT 2007


Mon Jun 25 02:51:35 PDT 2007  Malcolm.Wallace at cs.york.ac.uk
  * remove the --strip option from cpphs when preprocessing for nhc98

    M ./script/nhc98.inst -1 +1


More information about the Cvs-nhc98 mailing list