DevTools 1.12.8

pmmp · Dec 17, 2017 · b8bb6e6 · b8bb6e6
1 parent 6fd1c32
commit b8bb6e6
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.7
+version: 1.12.8
 api: [3.0.0-ALPHA7, 3.0.0-ALPHA8, 3.0.0-ALPHA9, 3.0.0-ALPHA10]
 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.7";
+const VERSION = "1.12.8";
 
 $opts = getopt("", ["make:", "relative:", "out:", "entry:", "compress", "stub:"]);