| Fri, 30 Jun 2017 16:28:06 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 30 Jun 2017 16:16:45 +0200 | wenzelm | more documentation; | changeset | files |
| 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 |