resource/locales/de_DE.properties@814d374fb689
resource/locales/de_DE.properties
Sun, 05 Oct 2025 13:30:19 +0200
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 05 Oct 2025 13:30:19 +0200
- changeset 800
- 814d374fb689
- parent 32
- 9a5f47fbc5c3
- permissions
- -rw-r--r--
add new margin widget args and implement margin in the cocoa gridlayout
