Stamp version.js @ 130.

diff --git a/web_frontend/version.js b/web_frontend/version.js
index 818dd8921168bac58dea6e5017acb40897b7c07a..37c9cac82266bd61765ef0bea51a3b2cfd9d0f4a 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 = 2;
-armadillo.Version.BUILD = 94;
-armadillo.Version.STAMP = 1286159450;
+armadillo.Version.BUILD = 130;
+armadillo.Version.STAMP = 1286168873;