From 957f40681df433b3c16a346dc0adcb59225ac441 Mon Sep 17 00:00:00 2001
From: Wouter Boereboom <62436079+wboereboom@users.noreply.github.com>
Date: Mon, 22 Jan 2024 16:02:45 +0100
Subject: [PATCH] Delete VERSION

This file is no longer needed
---
 VERSION | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 VERSION

diff --git a/VERSION b/VERSION
deleted file mode 100644
index 5b8f80fbc..000000000
--- a/VERSION
+++ /dev/null
@@ -1 +0,0 @@
-13.2.0
\ No newline at end of file