diff options
Diffstat (limited to 'VERSION')
| -rw-r--r-- | VERSION | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/VERSION b/VERSION deleted file mode 100644 index 430aa8aa97..0000000000 --- a/VERSION +++ /dev/null @@ -1,9 +0,0 @@ -############################################################-*-Makefile-*-#### -# DO NOT EDIT. Automatically generated file! -# -# To modify the current version use the following command: -# make version-set VERSION=<version> -# -# DO NOT EDIT. Automatically generated file! -############################################################################## -1.4.0.4 |