From 82955c128f175be44ea2d5620a9d981fd06e1809 Mon Sep 17 00:00:00 2001 From: Yegor Bugayenko Date: Thu, 13 Jul 2023 09:31:51 +0300 Subject: [PATCH] ping --- eo-parser/src/test/resources/tex/ebnf.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/eo-parser/src/test/resources/tex/ebnf.tex b/eo-parser/src/test/resources/tex/ebnf.tex index 769618fd14..90bdf72308 100644 --- a/eo-parser/src/test/resources/tex/ebnf.tex +++ b/eo-parser/src/test/resources/tex/ebnf.tex @@ -1,8 +1,8 @@ \documentclass{article} \usepackage[paperwidth=16in]{geometry} \usepackage[usenames,dvipsnames]{xcolor} -\usepackage{naive-ebnf} \usepackage{microtype} +\usepackage{naive-ebnf} \pagestyle{empty} \begin{document} \renewcommand\EbnfSpecial[1]{\textcolor{MidnightBlue}{\texttt{#1}}}