Stamp version.js @ 539.0.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index 881cea05d14ece85fd361f4574ae86f994227f25..c7316f2282102c9c975a6e5bd48e995d7ff9e464 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 = 537.0;
-armadillo.Version.STAMP = 1303962352;
+armadillo.Version.BUILD = 539.0;
+armadillo.Version.STAMP = 1303962862;