diff --git a/default.properties b/default.properties deleted file mode 100644 index 7947d88ea..000000000 --- a/default.properties +++ /dev/null @@ -1 +0,0 @@ -version.name=3.2.5-19-g07d4f18