K 25
svn:wc:ra_dav:version-url
V 55
/svnroot/potassco/!svn/ver/5329/trunk/gringo/app/clingo
END
claspoutput.h
K 25
svn:wc:ra_dav:version-url
V 69
/svnroot/potassco/!svn/ver/5061/trunk/gringo/app/clingo/claspoutput.h
END
clingo_options.h
K 25
svn:wc:ra_dav:version-url
V 72
/svnroot/potassco/!svn/ver/5061/trunk/gringo/app/clingo/clingo_options.h
END
CMakeLists.txt
K 25
svn:wc:ra_dav:version-url
V 70
/svnroot/potassco/!svn/ver/3149/trunk/gringo/app/clingo/CMakeLists.txt
END
clingo_app.h
K 25
svn:wc:ra_dav:version-url
V 68
/svnroot/potassco/!svn/ver/5061/trunk/gringo/app/clingo/clingo_app.h
END
timer.cpp
K 25
svn:wc:ra_dav:version-url
V 65
/svnroot/potassco/!svn/ver/3689/trunk/gringo/app/clingo/timer.cpp
END
claspoutput.cpp
K 25
svn:wc:ra_dav:version-url
V 71
/svnroot/potassco/!svn/ver/5061/trunk/gringo/app/clingo/claspoutput.cpp
END
timer.h
K 25
svn:wc:ra_dav:version-url
V 63
/svnroot/potassco/!svn/ver/3690/trunk/gringo/app/clingo/timer.h
END
lua_impl.h
K 25
svn:wc:ra_dav:version-url
V 66
/svnroot/potassco/!svn/ver/4918/trunk/gringo/app/clingo/lua_impl.h
END
