patch applied (nhc98): new cmd line options: --print-libdir --print-incdir --numeric-version
27 Nov
2007
27 Nov
'07
6:26 a.m.
Tue Nov 27 03:25:53 PST 2007 Malcolm.Wallace@cs.york.ac.uk * new cmd line options: --print-libdir --print-incdir --numeric-version M ./script/nhc98.inst +6
6385
Age (days ago)
6385
Last active (days ago)
0 comments
1 participants
participants (1)
-
Malcolm Wallace