Menu

Commit [r1217]  Maximize  Restore  History

extended fget_line to check for windows and recognize 0x13,0x10 as

end-of-line.

warren 1999-08-31

changed /trunk/XSB/lib/scrptutl.P
/trunk/XSB/lib/scrptutl.P Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB