resource/.DS_Store@b907d8059290
resource/.DS_Store
Fri, 09 Nov 2018 17:11:12 +0100
- author
- Olaf Wintermann <olaf.wintermann@gmail.com>
- date
- Fri, 09 Nov 2018 17:11:12 +0100
- changeset 155
- b907d8059290
- parent 32
-
9a5f47fbc5c3
- permissions
- -rw-r--r--
fixes document switching with textareas (Motif)
(binary:application/octet-stream)