Improve options handling

Signed-off-by: Nikolaos Karaolidis <nick@karaolidis.com>
This commit is contained in:
2023-06-13 15:15:19 +03:00
parent 25b8f6c02b
commit 60258cea8c
4 changed files with 4 additions and 17 deletions

1
.gitignore vendored
View File

@@ -1,2 +1,3 @@
build/
out/
options.private.json