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 9c6d6293b1a8f448def89c2d5bfa63b89a24e0cc..0000000000000000000000000000000000000000 --- a/VERSION +++ /dev/null @@ -1 +0,0 @@ -1.6.1