K 25
svn:wc:ra_dav:version-url
V 60
/svnroot/potassco/!svn/ver/3149/trunk/gringo/libprogram_opts
END
CMakeLists.txt
K 25
svn:wc:ra_dav:version-url
V 75
/svnroot/potassco/!svn/ver/3149/trunk/gringo/libprogram_opts/CMakeLists.txt
END
