chore: Merge master

This commit is contained in:
Mattia Astorino 2019-02-09 19:42:24 +01:00
commit 5e034b972f
No known key found for this signature in database
GPG key ID: 7BE552533AB6D4E2

View file

@ -80,7 +80,6 @@ Launch *Quick Open*:
Type `theme`, choose `Preferences: Color Theme`, and select one of the Material Theme variants from the list. After activation, the theme will set the correct icon theme based on your active theme variant. Type `theme`, choose `Preferences: Color Theme`, and select one of the Material Theme variants from the list. After activation, the theme will set the correct icon theme based on your active theme variant.
## Set the accent color ## Set the accent color
Launch *Quick Open*: Launch *Quick Open*: