Juergen Spitzmueller 74a1666531 Introduce "inherit" encoding for latex_language
This gets rid of the hardcoded latin1 encoding for verbatim. Instead,
verbatim now inherits the encoding from the context, which is what is
actually wanted here.

Fixes: #9012, #9258
2018-01-20 09:22:38 +01:00
..
2018-01-02 11:54:58 +01:00
2018-01-19 01:02:46 +01:00
2018-01-12 10:33:14 +01:00
2018-01-01 12:30:34 +01:00
2018-01-05 11:10:52 +01:00
2017-04-04 23:08:45 +02:00
2017-06-07 00:55:23 +02:00