chore: update Premake5

This commit is contained in:
2025-09-17 17:37:52 +02:00
parent f533f8cd4d
commit bb9a13e254
4 changed files with 10 additions and 8 deletions
Vendored
+1 -1
Submodule deps/GSL updated: 3325bbd33d...7e0943d20d