From f25c10c644e70f406952b243da0490143cbc56b9 Mon Sep 17 00:00:00 2001 From: Stefan Kolb Date: Fri, 8 Jan 2021 13:04:16 +0100 Subject: [PATCH] Remove obsolete registry patch file Was fixed in release v5.1 --- JabRef-downgrade-regpatch.reg | Bin 356 -> 0 bytes 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 JabRef-downgrade-regpatch.reg diff --git a/JabRef-downgrade-regpatch.reg b/JabRef-downgrade-regpatch.reg deleted file mode 100644 index 284394cfc8bd62671ac9bf91489ab638970776eb..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 356 zcmaiw-%A2f5QV?zp#MR9S9|fXrwGD8Wlba62yIv0C^yz$>_4A=dsTW7<1*YibI#0} zdw0LjWGqO?*|MZYM9R$Ck`)D|m3!Gtl#6SO