Create a script to keep the sourcecode up-to-date

The update.py script will push changes to a git repo when changes are
found. See the README for more details.

This commit is contained in:

David Kruger

2025-05-30 14:06:47 -07:00

parent 99c2b8bea3

commit bacc21e0db

3 changed files with 120 additions and 10 deletions

.gitignore

View File

@@ -0,0 +1,2 @@
 *.swp
 *.swo