icons/document-outline.png@b05af0bab735
icons/document-outline.png
Tue, 07 Jun 2022 20:44:19 +0300
- author
- Teemu Piippo <teemu@hecknology.net>
- date
- Tue, 07 Jun 2022 20:44:19 +0300
- changeset 202
- b05af0bab735
- parent 161
- 6fe485a84d06
- permissions
- -rw-r--r--
Replaced the tab widget with an MDI area
