Full rebase of Marco's changes
Compare changes
Files
4- Marco Ammon authored
Syntax highlighting with ```lstlistings``` is semi-broken as highlighting keywords does not work correctly. This patch introduces ```minted``` instead, which uses the python script ```pygmentize```.
+ 4
− 0