From 00e65735aad13b3868ea34e754c66d2894d61923 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Ovesn=C3=BD?= <zitmen@gmail.com>
Date: Sat, 8 Nov 2014 02:47:29 +0100
Subject: [PATCH] new release - v1.3

---
 pom.xml                                                      | 2 +-
 src/main/java/cz/cuni/lf1/lge/ThunderSTORM/ThunderSTORM.java | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)
 mode change 100755 => 100644 pom.xml

diff --git a/pom.xml b/pom.xml
old mode 100755
new mode 100644
index c01f947d..e4382ef4
--- a/pom.xml
+++ b/pom.xml
@@ -4,7 +4,7 @@
 
     <groupId>cz.cuni.lf1.lge</groupId>
     <artifactId>ThunderSTORM</artifactId>
-    <version>dev-2014-11-06-b1</version>
+    <version>1.3-2014-11-08</version>
     <packaging>jar</packaging>
 
     <name>ThunderSTORM</name>
diff --git a/src/main/java/cz/cuni/lf1/lge/ThunderSTORM/ThunderSTORM.java b/src/main/java/cz/cuni/lf1/lge/ThunderSTORM/ThunderSTORM.java
index 22e80702..f6a7ee43 100755
--- a/src/main/java/cz/cuni/lf1/lge/ThunderSTORM/ThunderSTORM.java
+++ b/src/main/java/cz/cuni/lf1/lge/ThunderSTORM/ThunderSTORM.java
@@ -2,7 +2,7 @@
 
 public class ThunderSTORM {
     
-    public static final String VERSION = "dev-2014-11-06-b1";
+    public static final String VERSION = "1.3-2014-11-08";
     public static final String URL_DAILY = "https://googledrive.com/host/0BzOGc-xMFyDYR1JaelZYQmJsaUE/builds/daily";
     public static final String URL_STABLE = "https://googledrive.com/host/0BzOGc-xMFyDYR1JaelZYQmJsaUE/builds/stable";
     public static final String FILE_NAME = "Thunder_STORM";