Stamp version.js @ 452.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index 529f3582bdebea49f15c2ab1580480b3c29c678f..9bf3c10c0bcba6f19e0f84b46e1ced044781b345 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 = 450;
-armadillo.Version.STAMP = 1289761577;
+armadillo.Version.BUILD = 452;
+armadillo.Version.STAMP = 1289761968;