Tue, 03 Jan 2017 17:21:37 +0100 | wenzelm | proper line_offset; | changeset | files |
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 |