summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/tcolorbox/tcolorbox.doc.listings.tex
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2020-09-17 21:20:28 +0000
committerKarl Berry <karl@freefriends.org>2020-09-17 21:20:28 +0000
commitdf349982212d3f4ab44223f025a1decb7f9552e7 (patch)
tree5ebdf55de7474bc0b26c3f9148aa74e2404459da /Master/texmf-dist/doc/latex/tcolorbox/tcolorbox.doc.listings.tex
parentc2966e2771806280acae359474ea9ce7799776bb (diff)
tcolorbox (17sep20)
git-svn-id: svn://tug.org/texlive/trunk@56368 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/tcolorbox/tcolorbox.doc.listings.tex')
-rw-r--r--Master/texmf-dist/doc/latex/tcolorbox/tcolorbox.doc.listings.tex6
1 files changed, 3 insertions, 3 deletions
diff --git a/Master/texmf-dist/doc/latex/tcolorbox/tcolorbox.doc.listings.tex b/Master/texmf-dist/doc/latex/tcolorbox/tcolorbox.doc.listings.tex
index 9a0a8ad1a62..8f99797bc24 100644
--- a/Master/texmf-dist/doc/latex/tcolorbox/tcolorbox.doc.listings.tex
+++ b/Master/texmf-dist/doc/latex/tcolorbox/tcolorbox.doc.listings.tex
@@ -51,7 +51,7 @@ the package |listingsutf8| \cite{oberdiek:listingsutf8} by loading the library
variant \mylib{listingsutf8}.
\begin{dispListing}
\tcbuselibrary{listingsutf8}
-\tcbset{listing utf8=latin1}% optional; 'latin1' is the default.
+\tcbset{listing utf8=latin1}% optional; `latin1' is the default.
\end{dispListing}
This also loads the library \mylib{listings}
and the packages |listings| \cite{hoffmann:listings}
@@ -464,7 +464,7 @@ Sets a \meta{programming language} known to |Pygments| \cite{pygments:web}.
minted language=java,
colback=red!5!white,colframe=red!75!black,listing only}
public class HelloWorld {
- // A 'Hello World' in Java
+ // A `Hello World' in Java
public static void main(String[] args) {
System.out.println("Hello World!");
}
@@ -491,7 +491,7 @@ Sets a \meta{programming language} known to |Pygments| \cite{pygments:web}.
\begin{myjava}
public class HelloWorld {
- // A 'Hello World' in Java
+ // A `Hello World' in Java
public static void main(String[] args) {
System.out.println("Hello World!");
}