| Tue, 03 Jan 2017 15:21:32 +0100 | wenzelm | clarified message severity, based on empirical observation of VSCode 1.8.1; | changeset | files |
| Tue, 03 Jan 2017 15:07:50 +0100 | wenzelm | avoid escape of '/' in JSONFormat.quoteString; | changeset | files |
| Tue, 03 Jan 2017 14:45:50 +0100 | wenzelm | more liberal drive letter, for the sake of file:// URLs; | changeset | files |