Reputation
Top tag
Next privilege 250 Rep.
View close votes
Badges
7
Impact
~1k people reached

  • 0 posts edited
  • 0 helpful flags
  • 9 votes cast
Apr
1
comment Highlighting a .diff file
Indeed, diff syntax is pretty simple! Thanks for having replied even with an accepted answer…
Mar
31
comment Highlighting a .diff file
Don't worry… I'll use keep my (single) diff file unhighlighted for this time and will be using minted from now on. I didn't even knew it existed ;)
Mar
31
comment Highlighting a .diff file
@mbork remove the ? then!
Mar
31
comment Highlighting a .diff file
Great! I don't have the time to change all my other listings to minted though (I use lstlistings). Is there a way to use lstlistings settings for minted?