optimisation of size #1

Merged
Anri merged 5 commits from shadowmapping into main 2023-05-26 21:06:24 +02:00

5 commits

Author SHA1 Message Date
4cf56c60f2
Revert "gl4d diff"
This reverts commit 3931e38634.
2023-05-26 21:03:25 +02:00
7e2cb7a4c5
date 2023-05-26 21:02:59 +02:00
eef3f9d4a1
use upx 2023-05-26 21:02:48 +02:00
1fdc16106f
always strip instead of flto 2023-05-26 20:59:31 +02:00
3931e38634
gl4d diff 2023-05-26 14:16:58 +02:00