diff --git a/GIT_VERSION b/GIT_VERSION new file mode 100644 index 0000000000000000000000000000000000000000..f59cc05cb6952f2fd8a3be03c1765c99881acb22 --- /dev/null +++ b/GIT_VERSION @@ -0,0 +1 @@ +$Format:%h %d$ \ No newline at end of file diff --git a/VERSION b/VERSION deleted file mode 100644 index 422afa543c7463bbd1ad45b485b2bc6890b92df1..0000000000000000000000000000000000000000 --- a/VERSION +++ /dev/null @@ -1 +0,0 @@ -1.6-rc2