resource/.DS_Store@884d70e847a3
resource/.DS_Store
Mon, 17 Nov 2025 11:28:47 +0100
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Mon, 17 Nov 2025 11:28:47 +0100
- changeset 901
- 884d70e847a3
- parent 875
- 0575ca45f1bb
- permissions
- -rw-r--r--
implement grid margin (Motif)
