Menu

Commit [r2155]  Maximize  Restore  History

insertLeaf: don't issue warnings if deleting a valid node.

kifer 2001-01-07

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