On Mon, Jul 17, 2017 at 12:48:34AM +0200, Enrico Forestieri wrote:

> ATM, in no way you can risk
> something if you decide to use minted. You would have to know what to
> change in the preferences for taking that risk. On the contrary, when
> using one of the above mentioned features, the risk is at the tip of
> a mouse click.

+1

Scott

Reply via email to