Equinusocio 393d920b03 chore: Update workspace settings		2017-11-14 17:20:13 +01:00
..
launch.json	chore: icons variants themes based on current Material Theme.	2017-06-16 20:44:10 +02:00
settings.json	chore: Update workspace settings	2017-11-14 17:20:13 +01:00
tasks.json	chore: Fixes build system.	2017-07-18 14:27:08 +02:00