--- a
+++ b/thys/SATSolverVerification/config
@@ -0,0 +1,11 @@
+# -*- shell-script -*-
+
+# $Id: config,v 1.1.2.1 2008-07-27 01:06:04 lsf37 Exp $
+
+# Get email when automated build fails. May be empty.
+# values: "email1 email2 .. emailn"
+NOTIFY="filip@matf.bg.ac.yu kleing@cse.unsw.edu.au"
+
+# Participate in frequent (nightly) build (only for small submissions)
+# values: "yes" "no"
+FREQUENT="yes"