diff -r 1dd52aa8897c -r e8f3b5568b21 ThirdParty/Pygments/pygments/formatters/img.py
--- a/ThirdParty/Pygments/pygments/formatters/img.py Sat Jan 12 12:11:42 2019 +0100
+++ b/ThirdParty/Pygments/pygments/formatters/img.py Sat Jan 12 12:40:14 2019 +0100
@@ -237,7 +237,7 @@
bold and italic fonts will be generated. This really should be a
monospace font to look sane.
- Default: "Bitstream Vera Sans Mono" on Windows, Courier New on \*nix
+ Default: "Bitstream Vera Sans Mono" on Windows, Courier New on \\*nix
`font_size`
The font size in points to be used.
