Remove old patch

This commit is contained in:
Orion Poplawski 2019-10-12 09:54:21 -06:00
parent 9e6b0cc8a0
commit de02c7eaa4

View File

@ -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 ;