Stamp version.js @ 415.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index c7310c8f4848f686947e5325f913d562e3fe0158..e4a8638c73a0d3a5567b09a522348640932c1349 100644 (file)
--- a/web_frontend/version.js
+++ b/web_frontend/version.js
@@ -10,6 +10,6 @@
 goog.provide('armadillo.Version');
 
 armadillo.Version.MAJOR = 0;
-armadillo.Version.MINOR = 6;
-armadillo.Version.BUILD = 404;
-armadillo.Version.STAMP = 1289700226;
+armadillo.Version.MINOR = 7;
+armadillo.Version.BUILD = 415;
+armadillo.Version.STAMP = 1289754798;