From de02c7eaa4a98723eb4d3447f631522bb9a15f72 Mon Sep 17 00:00:00 2001 From: Orion Poplawski Date: Sat, 12 Oct 2019 09:54:21 -0600 Subject: [PATCH] Remove old patch --- source-highlight-3.1.8-no-black.patch | 12 ------------ 1 file changed, 12 deletions(-) delete mode 100644 source-highlight-3.1.8-no-black.patch diff --git a/source-highlight-3.1.8-no-black.patch b/source-highlight-3.1.8-no-black.patch deleted file mode 100644 index b673c2f..0000000 --- a/source-highlight-3.1.8-no-black.patch +++ /dev/null @@ -1,12 +0,0 @@ -diff -up source-highlight-3.1.8/src/esc.style.no-black source-highlight-3.1.8/src/esc.style ---- source-highlight-3.1.8/src/esc.style.no-black 2019-03-20 16:52:33.053965325 +0000 -+++ source-highlight-3.1.8/src/esc.style 2019-03-20 16:52:42.502965289 +0000 -@@ -7,7 +7,7 @@ comment cyan i ; - number purple ; - preproc darkblue b ; - symbol darkred ; --function black b; -+function b; - cbracket red; - variable darkgreen ; -