reversion to v0.13-dev

Add the "-dev" tag to versioning for future development.

Author: owlang

build.gradle

@@ -9,7 +9,7 @@ apply plugin: 'eclipse'
 
 sourceSets.main.java.srcDirs = ['src']
 mainClassName = "main.ScriptManager"
-version = 'v0.13'
+version = 'v0.13-dev'
 sourceCompatibility = 1.8
 targetCompatibility = 1.8
 

src/main/ScriptManager.java

@@ -70,7 +70,7 @@
 			Read_AnalysisCLI.class,
 			Sequence_AnalysisCLI.class
 		},
-		version = "ScriptManager-v0.13",
+		version = "ScriptManager-v0.13-dev",
 		mixinStandardHelpOptions = true,
 		description = "Choose a tool directory from below to see more command-line tool options.",
 		exitCodeOnInvalidInput = 1,

src/main/ScriptManagerGUI.java

@@ -55,7 +55,7 @@
 import window_interface.Figure_Generation.MergeHeatMapWindow;
 
 public class ScriptManagerGUI {
-	public static final String VERSION = "0.13";
+	public static final String VERSION = "0.13-dev";
 
 	private JFrame frmScriptManager;	
 	/**