.devcontainer

Feb 9, 2023

7283c52 · Feb 9, 2023

Name	Name	Last commit message	Last commit date
parent directory ..
devcontainer.json	devcontainer.json	Replace script with bash script, introduce auto git config setup	Feb 8, 2023
setup.sh	setup.sh	Remove node script in favor of more optimized setting of local git co…	Feb 9, 2023

Provide feedback