Stamp version.js @ 613.0.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index 4e8435142ac8df2fe9fdff0853c7fa0ed149449a..fb2ddf4ca2eb2163a43f1b31bf423d41a5be799d 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 = 600.0;
-armadillo.Version.STAMP = 1325283227;
+armadillo.Version.BUILD = 613.0;
+armadillo.Version.STAMP = 1325474717;