resource/.DS_Store@1ebc781c7d17
resource/.DS_Store
Sun, 15 Jun 2025 11:21:48 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 15 Jun 2025 11:21:48 +0200
- changeset 623
- 1ebc781c7d17
- parent 32
- 9a5f47fbc5c3
- child 870
- e167cf006213
- permissions
- -rw-r--r--
rename ui_detach_document2 to ui_detach_document
