# HG changeset patch
# User wenzelm
# Date 1498763379 -7200
# Node ID e6b7edd12f057ff9c7aa202c3eb51ea3f60adbc2
# Parent  68671cc5d40ab77f2bc482cd997dbb99bcfdcc1d
tuned;

diff -r 68671cc5d40a -r e6b7edd12f05 src/Tools/VSCode/extension/README.md
--- a/src/Tools/VSCode/extension/README.md	Thu Jun 29 21:07:47 2017 +0200
+++ b/src/Tools/VSCode/extension/README.md	Thu Jun 29 21:09:39 2017 +0200
@@ -49,7 +49,7 @@
   * Preferred Color Theme: `Light+ (default light)`
 
   * Alternative Color Theme: `Dark+ (default dark)` – with restrictions: some color
-    combinations don't work out properly
+    combinations don't work out properly.
 
   * Recommended changes to default VSCode settings: