optimisation of size #1
Anri
commented 2023-05-26 21:06:05 +02:00
Owner
No description provided.
Anri
added 5 commits 2023-05-26 21:06:06 +02:00
gl4d diff
3931e38634
always strip instead of flto
1fdc16106f
use upx
eef3f9d4a1
date
7e2cb7a4c5
Revert "gl4d diff"
4cf56c60f2
Anri
merged commit 363288a8ca into main 2023-05-26 21:06:24 +02:00
Anri
referenced this pull request from a commit 2023-05-26 21:06:24 +02:00
optimisation of size (#1)
Loading…
Reference in a new issue
No description provided.
Delete branch "shadowmapping"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?