Menu

Commit [r9437]  Maximize  Restore  History

fixed compilation under linux

rzf 2018-10-23

changed /trunk/XSB/packages/pita/configure
changed /trunk/XSB/packages/pita/configure.in
/trunk/XSB/packages/pita/configure Diff Switch to side-by-side view
Loading...
/trunk/XSB/packages/pita/configure.in Diff Switch to side-by-side view
Loading...