Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

8 lines (7 sloc) 0.267 kB
set(CTEST_PROJECT_NAME "sat-solver")
set(CTEST_NIGHTLY_START_TIME "00:00:00 EST")
set(UPDATE_TYPE "svn")
set(CTEST_DROP_METHOD "http")
set(CTEST_DROP_SITE "yast.suse.de")
set(CTEST_DROP_LOCATION "/cdash/submit.php?project=sat-solver")
set(CTEST_DROP_SITE_CDASH TRUE)
Jump to Line
Something went wrong with that request. Please try again.