Menu

Commit [r9759]  Maximize  Restore  History

Revert "Revert "Revert "small fix in a comment"""

This reverts commit 98e51a1868d5c52960f2ec91ca5de4f289ec6e55.

"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