From 27e8e40dcd60bc0512634eb5a4b86a683123e098 Mon Sep 17 00:00:00 2001 From: Robert Alessi Date: Sun, 8 Nov 2020 15:24:02 +0100 Subject: better put the patch outside this repository --- arabluatex.dtx | 7 ------- 1 file changed, 7 deletions(-) diff --git a/arabluatex.dtx b/arabluatex.dtx index 610181b..392e4cd 100644 --- a/arabluatex.dtx +++ b/arabluatex.dtx @@ -217,13 +217,6 @@ \usepackage{relsize} \usepackage{tikz} \usepackage[breakable, skins, xparse, minted]{tcolorbox} -\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 \tcbset{colback=white, boxrule=.15mm, colframe=cinnamon, breakable} \newtcbox{\arabluabox}{boxrule=.3mm, left=0mm, right=0mm, top=0mm, -- cgit v1.2.3