add option to turn devtools off #17

Merged
LuckyTurtleDev merged 2 commits from devtools into main 2024-07-07 14:03:30 +00:00

2 commits

Author SHA1 Message Date
2ed17ae05b devtools
Some checks failed
Rust / rustfmt (pull_request) Successful in 27s
Rust / clippy (pull_request) Failing after 2m8s
Rust / build (pull_request) Successful in 3m8s
2024-07-07 15:48:40 +02:00
86c63277c3 156 fps; fix unused config 2024-07-07 15:03:24 +02:00