Stamp version.js @ 400.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index 7b1e05f6c5a92e4704184c78dbf86376bc2cf6c8..e30306d12dab165646041bd5dc3a6c320c620dbc 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 = 6;
-armadillo.Version.BUILD = 399;
-armadillo.Version.STAMP = 1289700041;
+armadillo.Version.BUILD = 400;
+armadillo.Version.STAMP = 1289700076;