Fri, 14 Dec 2018 11:41:47 +0000 | Jan Vrany | Improve `--gdb` command line option handling | file | diff | annotate |
Fri, 05 Oct 2018 11:45:46 +0100 | Jan Vrany | Fix (re)loading of preferences when calling `VDBStartup >> main:` from workspace | file | diff | annotate |
Thu, 04 Oct 2018 10:51:17 +0100 | Jan Vrany | UI: add GDB executable configuration to settings dialog | file | diff | annotate |
Sun, 23 Sep 2018 07:03:34 +0100 | Jan Vrany | Move `VDBStartup` from `jv:vdb/application` to `jv:vdb` | file | diff | annotate | base |