Name		Name	Last commit message	Last commit date
parent directory ..
.devcontainer		.devcontainer
.vscode		.vscode
.gitattributes		.gitattributes
.gitignore		.gitignore
README.md		README.md
doc.tex		doc.tex

README.md

TeX Development `devcontainer`

Customization

Add apt packages to devcontainer/apt_packages.txt