resource/.DS_Store@ce992dbfbc39
resource/.DS_Store
Mon, 06 Oct 2025 11:36:39 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Mon, 06 Oct 2025 11:36:39 +0200
- changeset 804
- ce992dbfbc39
- parent 32
- 9a5f47fbc5c3
- child 870
- e167cf006213
- permissions
- -rw-r--r--
implement margin parameters (GTK)
