Re: Options for resolving the minted + shell-escape issue

[Pavel Sanda]

Pavel Sanda wrote:
>    b) have minted & needauth, but drop it once we can (and I would propose

.. by "it" I mean needauth ..

> 
> Pavel