From c6b8541093f671bc259de4f68c0aa90393cc8383 Mon Sep 17 00:00:00 2001 From: Jehan Monnier Date: Fri, 17 Mar 2017 09:31:46 +0100 Subject: [PATCH] remove default.properties from archived files --- default.properties | 1 - 1 file changed, 1 deletion(-) delete mode 100644 default.properties 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