Philip Sargent c7df859d80 Changed pre-push bash script to be per-machine not per architecture

2025-05-22 21:47:54 +03:00

..

using-pip

…

check-for-later-copy-of-localsettings.WSL.txt

…

gitpull.sh

…

localsettingsWSL.py

…

localsettingsWSL.py.bak

…

os-survey.sh

…

os-trog24.04.sh

…

pre-push.sh

…

pre-run.sh

…

venv-trog.sh

…