make/package_unix.sh@d44c895e9ee9 (annotated)
make/package_unix.sh
Sun, 19 Apr 2026 20:05:11 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 19 Apr 2026 20:05:11 +0200
- changeset 1097
- d44c895e9ee9
- parent 0
- 1f419bd32da1
- permissions
- -rwxr-xr-x
change ui_reg_destructor behavior: registered destructors are called before the context mempool is destroyed
| 0 | 1 | #!/bin/sh |
| 2 |
