Menu

Commit [r9760]  Maximize  Restore  History

small fix in a comment

"kifer" 2020-11-05

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