diff --git a/VERSION b/VERSION new file mode 100644 index 00000000..6d44d227 --- /dev/null +++ b/VERSION @@ -0,0 +1 @@ +0.9.14