Juergen Spitzmueller 931f87f508 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
2017-12-24 17:10:42 +01:00
..
2017-12-12 20:44:05 +01:00
2011-04-02 11:00:19 +00:00
2011-02-21 19:56:43 +00:00
2017-12-14 20:18:40 +01:00
2017-04-04 23:08:45 +02:00
2017-12-18 15:26:17 +01:00
2017-06-07 00:55:23 +02:00