diff --git a/s/cron/previews.sh b/s/cron/previews.sh index 37147ac53..b18038843 100755 --- a/s/cron/previews.sh +++ b/s/cron/previews.sh @@ -1,7 +1,7 @@ #!/bin/bash [ -z ${ERESSEA} ] && ERESSEA=~/eressea -branch="master" +branch="develop" if [ -e ${ERESSEA}/build/.preview ]; then branch=`cat ${ERESSEA}/build/.preview` fi diff --git a/src/buildno.h b/src/buildno.h index 008d66547..99749c6d0 100644 --- a/src/buildno.h +++ b/src/buildno.h @@ -1,3 +1,3 @@ #define VERSION_MAJOR 3 #define VERSION_MINOR 4 -#define VERSION_BUILD 698 +#define VERSION_BUILD 0