From 281c27b41c010aa24479ae1a4c491958cd6e89ef Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Bigaret?=
<sebastien.bigaret@telecom-bretagne.eu>
Date: Thu, 9 May 2019 11:22:05 +0200
Subject: [PATCH] Prepare release 3.1
---
CHANGES | 3 +++
build.xml | 2 +-
build/DATE | 2 +-
build/VERSION | 2 +-
src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java | 4 ++--
5 files changed, 8 insertions(+), 5 deletions(-)
diff --git a/CHANGES b/CHANGES
index 9557e906..88ee87d6 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,6 @@
+v3.1
+----
+
- Auto-detection of proxy settings is now available.
- Fix a bug which prevented executions when
diff --git a/build.xml b/build.xml
index e56ac185..66d8c618 100644
--- a/build.xml
+++ b/build.xml
@@ -7,7 +7,7 @@
<format property="build.time" pattern="yyyy-MM-dd'T'hh:mm:ss.SSSZ"/>
</tstamp>
- <property name="praxis.version" value="3.0.2"/>
+ <property name="praxis.version" value="3.1"/>
<!-- If not called from an other project setting praxis.home, define it.
In details:
- it is unset when directly building the jars of Praxis,
diff --git a/build/DATE b/build/DATE
index a112daf4..7fb15a38 100644
--- a/build/DATE
+++ b/build/DATE
@@ -1 +1 @@
-2018-07-26
+2019-05-09
diff --git a/build/VERSION b/build/VERSION
index b5021469..8c50098d 100644
--- a/build/VERSION
+++ b/build/VERSION
@@ -1 +1 @@
-3.0.2
+3.1
diff --git a/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java b/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java
index a927ce67..bb80a639 100644
--- a/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java
+++ b/src/eu/telecom_bretagne/praxis/common/ReleaseInfo.java
@@ -7,9 +7,9 @@ package eu.telecom_bretagne.praxis.common;
*/
public abstract class ReleaseInfo
{
- public static final String release = "3.0.2";
+ public static final String release = "3.1";
- public static final String release_date = "2018-07-26";
+ public static final String release_date = "2019-05-09";
public static final int application_revision = Configuration.getInt("revision");
--
GitLab