Stamp version.js @ 534.0.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index db21697b147ecd61c81dd57f9f420926db5da955..bc74326007bc1486129ccd73c4df2103932dc48c 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 = 532.17;
-armadillo.Version.STAMP = 1302991439;
+armadillo.Version.BUILD = 534.0;
+armadillo.Version.STAMP = 1302992386;