| Fri, 30 Jun 2017 14:26:45 +0200 | wenzelm | retain symlinks in file names from VSCode: relevant for proper file locations in decorations etc.; | changeset | files |
| Fri, 30 Jun 2017 14:19:37 +0200 | wenzelm | clarified platform file operations; | changeset | files |
| Fri, 30 Jun 2017 14:17:48 +0200 | wenzelm | more operations; | changeset | files |
| Fri, 30 Jun 2017 14:01:55 +0200 | wenzelm | clarified signature; | changeset | files |
| Fri, 30 Jun 2017 13:21:47 +0200 | wenzelm | more robust: always package; | changeset | files |
| Fri, 30 Jun 2017 13:19:24 +0200 | wenzelm | prefer explicit link; | changeset | files |