Slobodan Jelic c670e7fa16 build: 🔨 Devcontainer updated. ... Updated devcontainer with texlive options. Improve build. Aux files cleaned after build.		2025-10-10 10:30:38 +00:00
..
devcontainer.json	build: 🔨 Devcontainer updated.	2025-10-10 10:30:38 +00:00