Prevent settings from being reset by manually incrementing the version

This is required when you don't have an Subversion client installed

svnrev.sh

@@ -3,6 +3,7 @@
 rev_new_raw=$(svnversion -n . 2>/dev/null | tr '\n' ' ' | tr -d '\r')
 [ -n "$rev_new_raw" ] || rev_new_raw=$(SubWCRev . 2>/dev/null | tr '\n' ' ' | tr -d '\r')
 
+[ -z "$rev_new_raw" ] && rev_new_raw=$(cat version.txt)
 
 rev_new_raw=$(echo $rev_new_raw | sed 's/[^0-9]*\([0-9]*\)\(.*\)/\1 \2/')
 rev_new=0

version.txt

@@ -0,0 +1 @@
+1272