diff --git a/VERSION b/VERSION index efa1cf4e5e..04b45eb303 100644 --- a/VERSION +++ b/VERSION @@ -1,6 +1,4 @@ # -# Version file -# # This file is automatically generated -- DO NOT EDIT!!! # # $Id$