diff --git a/style/mu/base.dtx b/style/mu/base.dtx index 7747f001cab337429a64020f2587b038841100ca..33aece80479e84797adffe1a7d31187b6c9e2719 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}{%