Stamp version.js @ 445.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index acf038607e7310581eac17844d686c85f1696276..3d50607c57d0606f417b2fbb6f7bb9e5a53f56fc 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 = 438;
-armadillo.Version.STAMP = 1289757488;
+armadillo.Version.BUILD = 445;
+armadillo.Version.STAMP = 1289760112;