resource/.DS_Store@d44c895e9ee9
resource/.DS_Store
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 875
- 0575ca45f1bb
- permissions
- -rw-r--r--
change ui_reg_destructor behavior: registered destructors are called before the context mempool is destroyed
