Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Commit [r8446] Maximize Restore History

- small code simplification

rkaminski 2014-05-28

changed /trunk/gringo/app/shared/include/clingocontrol.hh
/trunk/gringo/app/shared/include/clingocontrol.hh Diff Switch to side-by-side view
Loading...