This repository has been archived by the owner on Dec 1, 2024. It is now read-only.

Files

scripts

Timothy Stephenson

Apr 17, 2023

f8f3509 · Apr 17, 2023

Name	Name	Last commit message	Last commit date
parent directory ..
install.sh	install.sh	removed dead code	Apr 17, 2023
micromamba-install.sh	micromamba-install.sh	update scripts	Mar 10, 2023
pyright-run.sh	pyright-run.sh	removed dead code	Apr 17, 2023