resource/.DS_Store@5f6ca885d048
resource/.DS_Store
Wed, 08 Oct 2025 18:38:42 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Wed, 08 Oct 2025 18:38:42 +0200
- changeset 819
- 5f6ca885d048
- parent 32
- 9a5f47fbc5c3
- child 870
- e167cf006213
- permissions
- -rw-r--r--
update configure script: generate platform specific makefile name
