patch applied (nhc98): plumb new nhc98-pkg into nhc98 script etc
13 Jul
2007
13 Jul
'07
11:55 a.m.
Fri Jul 13 08:53:23 PDT 2007 Malcolm.Wallace@cs.york.ac.uk * plumb new nhc98-pkg into nhc98 script etc M ./Makefile -2 +5 M ./script/nhc98.inst -14 +18
6522
Age (days ago)
6522
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace