From 8aadd31bd5185121ba4ff805eff46a51e17f2cbb Mon Sep 17 00:00:00 2001
From: david gauchard <gauchard@laas.fr>
Date: Sat, 26 Jan 2019 08:15:30 +0100
Subject: [PATCH] back to dev (#5676)

---
 doc/conf.py  | 4 ++--
 platform.txt | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/conf.py b/doc/conf.py
index 3edd6033f..ed53721b0 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -56,9 +56,9 @@ author = u'Ivan Grokhotkov'
 # built documents.
 #
 # The short X.Y version.
-version = u'2.5.0-beta2'
+version = u'2.5.0-beta3'
 # The full version, including alpha/beta/rc tags.
-release = u'2.5.0-beta2'
+release = u'2.5.0-beta3'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
diff --git a/platform.txt b/platform.txt
index b43906763..3af5e4da6 100644
--- a/platform.txt
+++ b/platform.txt
@@ -6,7 +6,7 @@
 # https://github.com/arduino/Arduino/wiki/Arduino-IDE-1.5---3rd-party-Hardware-specification
 
 name=ESP8266 Boards (2.5.0-dev)
-version=2.5.0-beta3
+version=2.5.0-dev
 
 runtime.tools.xtensa-lx106-elf-gcc.path={runtime.platform.path}/tools/xtensa-lx106-elf
 runtime.tools.esptool.path={runtime.platform.path}/tools/esptool