Commit [r8332] Maximize Restore History

- more docstring tuning

rkaminski 2014-03-24

changed /trunk/gringo/libgringo/src/python.cc
/trunk/gringo/libgringo/src/python.cc Diff Switch to side-by-side view
Loading...