R11821/.dir-locals.el
master5fdf0991cff5f5df81fba0c…

Nov 1 2021

switching listings to minted with tcolorbox
7f4faa552416
·Nicolas Richart on Nov 1 2021, 18:04.