resource/.DS_Store@84a6e7a7b457
resource/.DS_Store
Sat, 14 Nov 2020 21:11:35 +0100
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sat, 14 Nov 2020 21:11:35 +0100
- changeset 159
- 84a6e7a7b457
- parent 32
- 9a5f47fbc5c3
- permissions
- -rw-r--r--
fix configure target options
