Added a checkbox for editing a file after creating it

[devedit.git] / devedit.pl

diff --git a/devedit.pl b/devedit.pl
index 87afee436416af3105f43bf3cbb3c3dda7edf663..d74a1bce0716a3e8f91ef9bd08c79af9164befde 100644 (file)
--- a/devedit.pl
+++ b/devedit.pl
@@ -30,7 +30,7 @@ use Command;
 use Output;
 use Tool;
 
-$VERSION = '3.1';
+$VERSION = '3.2-dev';
 
 # Path to configuration file
 # Change if necessary!