Stamp version.js @ 627.31.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index fb2ddf4ca2eb2163a43f1b31bf423d41a5be799d..8f067f1edaaa65553b8438d670b584fc245e844c 100644 (file)
--- a/web_frontend/version.js
+++ b/web_frontend/version.js
@@ -11,5 +11,5 @@ $.namespace('armadillo.Version');
 
 armadillo.Version.MAJOR = 0;
 armadillo.Version.MINOR = 8;
-armadillo.Version.BUILD = 613.0;
-armadillo.Version.STAMP = 1325474717;
+armadillo.Version.BUILD = 627.31;
+armadillo.Version.STAMP = 1330324054;