From 180ecbd1792731c0c0abcf0bf6adea985eca634f Mon Sep 17 00:00:00 2001
From: Laurent Pellegrino <laurent.pellegrino@gmail.com>
Date: Mon, 26 Jul 2021 20:14:24 +0200
Subject: [PATCH] Remove no longer used file

---
 version.properties | 4 ----
 1 file changed, 4 deletions(-)
 delete mode 100644 version.properties

diff --git a/version.properties b/version.properties
deleted file mode 100644
index aa89073..0000000
--- a/version.properties
+++ /dev/null
@@ -1,4 +0,0 @@
-# Version of the produced binaries. This file is intended to be checked-in.
-# It will be automatically bumped by release automation.
-version=3.1.2
-previousVersion=3.1.1