Select Git revision
build-doc-config.el
-
Stéphane Del Pino authored
Now the default minted is "minted3" which is far to rigid for security reasons... We will keep on minted2 forever
Stéphane Del Pino authoredNow the default minted is "minted3" which is far to rigid for security reasons... We will keep on minted2 forever