push done with git instead of github

2023-03-11 20:15:28 +01:00
parent 7771515605
commit 8eb0910c70
6 changed files with 111 additions and 96 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -4,6 +4,9 @@
 # Generated graph images:
 assets/

+# Cloned repo path:
+repo/
+
 # Library roots:
 venv/