From 70454ae1b52955913f4bb998b4ce3db05a4a631d Mon Sep 17 00:00:00 2001 From: pjotrp Date: Sun, 22 Mar 2026 07:38:26 +0100 Subject: delete unused patch files --- mongodb-add-version-file.patch | 10 ---------- 1 file changed, 10 deletions(-) delete mode 100644 mongodb-add-version-file.patch (limited to 'mongodb-add-version-file.patch') diff --git a/mongodb-add-version-file.patch b/mongodb-add-version-file.patch deleted file mode 100644 index ffcb70e..0000000 --- a/mongodb-add-version-file.patch +++ /dev/null @@ -1,10 +0,0 @@ -This patch is used to replace the need for git. It's a work-around -for a problem described here: https://jira.mongodb.org/browse/SERVER-21317 - -Patch by Roel Janssen ---- a/version.json 1970-01-01 01:00:00.000000000 +0100 -+++ b/version.json 2016-03-16 15:10:23.933578071 +0100 -@@ -0,0 +1,3 @@ -+{ -+ "version": "3.3.3-guix-" -+} -- cgit 1.4.1