JohnDoe6345789 090d637cd1 Rename setup.sh to scripts/setup.sh

2025-11-27 20:24:06 +00:00

..

extract_graphics.py

Rename extract_graphics.py to scripts/extract_graphics.py

2025-11-27 20:23:19 +00:00

install_all_python.sh

Rename install_all_python.sh to scripts/install_all_python.sh

2025-11-27 20:23:38 +00:00

run_app.sh

Rename run_app.sh to scripts/run_app.sh

2025-11-27 20:23:53 +00:00

setup.sh

Rename setup.sh to scripts/setup.sh

2025-11-27 20:24:06 +00:00

tlaplus.py

Create tlaplus.py

2025-11-27 19:56:56 +00:00