diff options
author | Karl Berry <karl@freefriends.org> | 2020-09-17 21:20:28 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-09-17 21:20:28 +0000 |
commit | df349982212d3f4ab44223f025a1decb7f9552e7 (patch) | |
tree | 5ebdf55de7474bc0b26c3f9148aa74e2404459da /Master/texmf-dist/doc/latex/tcolorbox/tcolorbox.doc.listings.tex | |
parent | c2966e2771806280acae359474ea9ce7799776bb (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.tex | 6 |
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!"); } |