SeanOMik 9dab96573a Fix update_git.py		2022-10-05 20:11:23 -04:00
..
shell.nix	Create a python script for pushing changes to the git repo	2022-10-05 20:06:00 -04:00
update_git.py	Fix update_git.py	2022-10-05 20:11:23 -04:00