Menu

Commit [r8614]  Maximize  Restore  History

Removed logging, and improved (I think) a comment.

dwarren 2016-02-03

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