resource/.DS_Store@853685152c1d
resource/.DS_Store
Sun, 12 Nov 2017 12:03:50 +0100
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Sun, 12 Nov 2017 12:03:50 +0100
- changeset 145
- 853685152c1d
- parent 32
- 9a5f47fbc5c3
- permissions
- -rw-r--r--
adds spinner widget (GTK)
