31 Jul
2005
31 Jul
'05
6:48 a.m.
ross 2005/07/31 03:48:52 PDT Modified files: tests runstdtest Log: revert rev. 1.5: unnecessary and wrong, as Hugs output should use the same line termination convention as text files. Revision Changes Path 1.6 +1 -3 hugs98/tests/runstdtest