Stamp version.js @ 438.

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