Closed lentinj closed 2 years ago
\dontrun should only be used as last-resort. I don't think that's the case here, we're just attempting to format examples in a non-standard fashion.
\dontrun
\dontrunshould only be used as last-resort. I don't think that's the case here, we're just attempting to format examples in a non-standard fashion.