| Tue, 03 Mar 2020 20:14:48 +0100 | wenzelm | merged | changeset | files |
| Tue, 03 Mar 2020 19:53:14 +0100 | wenzelm | include actions for jEdit dockables, e.g. "vfs.browser"; | changeset | files |
| Tue, 03 Mar 2020 19:48:51 +0100 | wenzelm | misc tuning and clarification; | changeset | files |