Commit [r8304]  Maximize  Restore  History

- incremented patch level

- added version to python docstring of gringo module

rkaminski 2014-03-19

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