diff options
| author | pjotrp | 2026-03-22 07:38:26 +0100 |
|---|---|---|
| committer | pjotrp | 2026-03-22 07:38:26 +0100 |
| commit | 70454ae1b52955913f4bb998b4ce3db05a4a631d (patch) | |
| tree | e60ee5246c4f2191ad80500e7746aefc7ca20940 /mongodb-add-version-file.patch | |
| parent | 8bda8859598dd7c3b740a73ae2c54238b757d3a6 (diff) | |
| download | guix-bioinformatics-70454ae1b52955913f4bb998b4ce3db05a4a631d.tar.gz | |
delete unused patch files
Diffstat (limited to 'mongodb-add-version-file.patch')
| -rw-r--r-- | mongodb-add-version-file.patch | 10 |
1 files changed, 0 insertions, 10 deletions
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 <roel@gnu.org> ---- 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-" -+} |