On Mon, Feb 1, 2021 at 1:56 PM TEC <[email protected]> wrote: > I'd have to look at the manual for specifics, but I know that you can > highlight lines when using the minted backend.
Thanks, but stil Im not able to figure it out. I've searched thru the org documentation without any luck. Luca
