Stamp version.js @ 560.0.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index 2bb88af51ef6e6bda00bab9c24c0ac78e93f083a..f044e6ac4b47ba74e680dc9c6280c2462bf0903a 100644 (file)
--- a/web_frontend/version.js
+++ b/web_frontend/version.js
@@ -11,5 +11,5 @@ goog.provide('armadillo.Version');
 
 armadillo.Version.MAJOR = 0;
 armadillo.Version.MINOR = 7;
-armadillo.Version.BUILD = 551.0;
-armadillo.Version.STAMP = 1310229276;
+armadillo.Version.BUILD = 560.0;
+armadillo.Version.STAMP = 1316523938;