From 3c3dd447ecffdd8fbc6cf6110cb79aa207eaae80 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sun, 8 Nov 2020 15:26:12 +0100
Subject: better put the patch outside this repository

---
 icite.dtx | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/icite.dtx b/icite.dtx
index b426463..f19675d 100644
--- a/icite.dtx
+++ b/icite.dtx
@@ -243,13 +243,6 @@
 \usepackage{relsize}
 \usepackage{units}
 \usepackage{minted}
-\makeatletter
-\patchcmd{\minted@checkstyle}{\minted@input{%
-          \minted@outputdir\minted@cachedir/\ifstrempty{#1}{default-pyg-prefix}{#1}.pygstyle}%
-      }{\minted@input{%
-          \minted@outputdir\minted@cachedir/\ifstrempty{#1}{default-pyg-prefix}{#1}.pygstyle}%
-        \def\PYGZhy{\mbox{\char`\-}}}{}{}
-\makeatother
 \usepackage[contents]{colordoc}
 \newcommand{\package}[1]{\textsf{#1}\index{#1=#1 (package)}}
 \usepackage{tikz}
-- 
cgit v1.2.3