Commit Graph

5 Commits

Author SHA1 Message Date
Enrico Forestieri
268ae66e3c Rename the minted 'lang' external template option as 'language'
This is for consistency with the newly introduced support in the
listings inset, where the option name is dictated by the listings
package and cannot be changed.
2017-06-07 01:25:35 +02:00
Scott Kostyshak
7f0a1df472 A couple minor changes to minted example 2017-05-29 17:59:41 -04:00
Enrico Forestieri
dde3e30031 Add some clarifying comments 2017-05-29 12:00:25 +02:00
Enrico Forestieri
6da125b296 Small tweak 2017-05-28 23:46:51 +02:00
Enrico Forestieri
85dd9a2f9c Add an external template for minted
See #9095
2017-05-28 23:43:19 +02:00