Stamp version.js @ 401.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index e30306d12dab165646041bd5dc3a6c320c620dbc..4498a3d6fa9615ee45e980f63067970cc9fb5210 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 = 400;
-armadillo.Version.STAMP = 1289700076;
+armadillo.Version.BUILD = 401;
+armadillo.Version.STAMP = 1289700106;