diff --git a/format-master.xml b/format-master.xml index 3659242..e15604e 100755 --- a/format-master.xml +++ b/format-master.xml @@ -310,7 +310,7 @@ - \verb++ + \verb``