make/package_unix.sh@521ecd0a0e7b
make/package_unix.sh
Wed, 17 Sep 2025 18:22:47 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Wed, 17 Sep 2025 18:22:47 +0200
- changeset 770
- 521ecd0a0e7b
- parent 0
-
1f419bd32da1
- permissions
- -rwxr-xr-x
don't use properties to get the default size for simple windows (GTK)