DevTools 1.12.6

pmmp · Oct 30, 2017 · 483a283 · 483a283
1 parent 3446bcc
commit 483a283
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/plugin.yml b/plugin.yml
@@ -1,6 +1,6 @@
 name: DevTools
 main: DevTools\DevTools
-version: 1.12.5
+version: 1.12.6
 api: [3.0.0-ALPHA7, 3.0.0-ALPHA8, 3.0.0-ALPHA9]
 load: STARTUP
 author: PocketMine Team

diff --git a/src/DevTools/ConsoleScript.php b/src/DevTools/ConsoleScript.php
@@ -15,7 +15,7 @@
  * GNU General Public License for more details.
 */
 
-const VERSION = "1.12.5";
+const VERSION = "1.12.6";
 
 $opts = getopt("", ["make:", "relative:", "out:", "entry:", "compress", "stub:"]);