Merge branch 'main' into user_and_settings

This commit is contained in:
georgemoralis 2026-03-12 08:53:35 +02:00 committed by GitHub
commit f8d0344138
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -91,6 +91,7 @@ int main(int argc, char* argv[]) {
const auto& extras = app.remaining();
if (!extras.empty()) {
gameArgs = extras;
gameArgs.erase(gameArgs.begin());
}
});