merge upstream

This commit is contained in:
doctorpangloss
2023-10-06 15:02:31 -07:00
73 changed files with 4986 additions and 3144 deletions
+3 -3
View File
@@ -14,9 +14,9 @@
/.vs
.idea/
venv/
web/extensions/*
!web/extensions/logging.js.example
!web/extensions/core/
/web/extensions/*
!/web/extensions/logging.js.example
!/web/extensions/core/
# The GitHub python gitignore
# Byte-compiled / optimized / DLL files