X-Git-Url: https://git.enpas.org/?a=blobdiff_plain;f=agda.sty;h=4850719b2b36d56f65e946927527ed3ec73300fb;hb=d126310824d9f10af2ef1eb4e21a65026abd97e1;hp=850cd054b3c14a02c8f9d21af7984385e171aadc;hpb=ebdf439a201d6fda0780284fc7f49b1f8deb88ab;p=bitonic-mengthesis.git diff --git a/agda.sty b/agda.sty index 850cd05..4850719 100644 --- a/agda.sty +++ b/agda.sty @@ -4,7 +4,7 @@ \ProvidesPackage{agda} -\usepackage{ifxetex, xcolor, polytable, ifthen} +\usepackage{ifxetex, polytable, ifthen} % XeLaTeX \ifxetex