diff -r a14b0d78eda1 -r 32aedca70582 application/inc/buildno.h
--- a/application/inc/buildno.h	Wed Jul 14 14:53:21 2010 +0100
+++ b/application/inc/buildno.h	Thu Jul 15 22:43:10 2010 +0100
@@ -1,2 +1,2 @@
 // Build number generated by increment_buildno.py, do not edit manually

-#define BUILD_NO 3
\ No newline at end of file
+#define BUILD_NO 4
\ No newline at end of file