Added a checkbox for editing a file after creating it

[devedit.git] / modules / Tool.pm

diff --git a/modules/Tool.pm b/modules/Tool.pm
index 1cd2456f54fa8750bf688760f80bed00c3f776b6..b143dcba0eca4c3e380672c98274ec81b17d570b 100644 (file)
--- a/modules/Tool.pm
+++ b/modules/Tool.pm
@@ -8,6 +8,14 @@ package Tool;
 # Author:        Patrick Canterino <patrick@patshaping.de>
 # Last modified: 2008-04-25
 #
+# Copyright (C) 1999-2000 Roland Bluethgen, Frank Schoenmann
+# Copyright (C) 2003-2009 Patrick Canterino
+# All Rights Reserved.
+#
+# This file can be distributed and/or modified under the terms of
+# of the Artistic License 1.0 (see also the LICENSE file found at
+# the top level of the Dev-Editor distribution).
+#
 
 use strict;