diff --git a/VERSION b/VERSION deleted file mode 100644 index 085c0f2666..0000000000 --- a/VERSION +++ /dev/null @@ -1 +0,0 @@ -1.3.14