Menu

Commit [r9757]  Maximize  Restore  History

Revert "small fix in a comment"

This reverts commit 0dff14bed235fe3964e9093e667f6c90af533783.

"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