Commit Graph

2 Commits

Author SHA1 Message Date
Enrico Forestieri
af6e4d4abb Don't give users dangerous instructions 2017-06-28 00:30:56 +02:00
Enrico Forestieri
4722e955a8 Remove the minted external template
That functionality is now provided by the new support for minted.
Also change the example file and accordingly rename it.
2017-06-10 00:14:04 +02:00