README.md

ThomasFarstrike · ThomasFarstrike · commit dc47ab409256 · 2025-06-27T15:58:51.000+02:00
diff --git a/README.md b/README.md
@@ -0,0 +1 @@
+These docs are generated (see build.sh or .github/workflows/deploy-docs.yml) and pushed to the gh-pages branch.

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+These docs are generated (see build.sh or .github/workflows/deploy-docs.yml) and pushed to the gh-pages branch.`