Merge github

This commit is contained in:
2023-04-10 02:06:42 +02:00
parent 91ec87bb49
commit 88dd860053
16 changed files with 64 additions and 344 deletions

1
.gitignore vendored
View File

@@ -10,6 +10,7 @@ quickstart.log
# imput / output data
data/*
data.backup/*
# generated source files
build/*