Merge branch 'main' into docs

zauberzeug · May 6, 2024 · 71ce1d4 · 71ce1d4
2 parents 00b3c3d + daf235f
commit 71ce1d4
Show file tree

Hide file tree

Showing 80 changed files with 9,748 additions and 2,648 deletions.
diff --git a/.gitignore b/.gitignore
@@ -7,3 +7,4 @@ detector/
 *.swp
 site/
 docs/reference/
+.nicegui/
diff --git a/.syncignore b/.syncignore
@@ -11,3 +11,4 @@ config.hjson
 sync.sh
 nicegui
 rosys
+.nicegui