D'oh!

diff --git a/devedit.pl b/devedit.pl
index 10576f52fcc6260d6706240ee9f8b6683bf8bc9b..00fee800ca0d3c098c16a6873c673b60b159a052 100644 (file)
--- a/devedit.pl
+++ b/devedit.pl
@@ -30,7 +30,7 @@ use Command;
 use Output;
 use Tool;
 
 use Output;
 use Tool;
 

-$VERSION = '3.2-dev';
+$VERSION = '3.2';

 
 # Path to configuration file
 # Change if necessary!
 
 # Path to configuration file
 # Change if necessary!