Menu

Commit [r672]  Maximize  Restore  History

Made it exit if typo in command line goal.

kifer 1999-04-24

changed /trunk/XSB/emu/init.c
/trunk/XSB/emu/init.c Diff Switch to side-by-side view
Loading...
MongoDB Logo MongoDB