Menu

Commit [r9700]  Maximize  Restore  History

Fixed rename on Windows so it doesn't delete if renamed to self.

dwarren 2019-11-02

changed /trunk/XSB/emu/system_xsb.c
/trunk/XSB/emu/system_xsb.c Diff Switch to side-by-side view
Loading...