Skip to content

Better TeX highlighting#331

Open
thematdev wants to merge 1 commit intonordtheme:mainfrom
thematdev:main
Open

Better TeX highlighting#331
thematdev wants to merge 1 commit intonordtheme:mainfrom
thematdev:main

Commits

Commits on Feb 1, 2023