From 411ba0d56f7fdfb84da4d21fc51b537227289ed7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tereza=20Vrabcov=C3=A1?= <xvrabcov@fi.muni.cz>
Date: Mon, 15 Aug 2022 22:21:16 +0200
Subject: [PATCH] Replacement of Markdown formatting in `\changes`.
---
style/mu/base.dtx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/style/mu/base.dtx b/style/mu/base.dtx
index 7747f00..33aece8 100644
--- a/style/mu/base.dtx
+++ b/style/mu/base.dtx
@@ -199,7 +199,7 @@
% respectively.
% \changes{v1.0.3}{2022/08/15}{^^A
% Added the the default \textt{colorbold} and \texttt{nocolorbold}
-% options for `digital` and `printed`, respectively. [TV]}
+% options for \texttt{digital} and \texttt{printed}, respectively. [TV]}
% \begin{macrocode}
\newif\ifthesis@digital@
\DeclareOption{digital}{%
--
GitLab