belliash 4b05081d4a Makefile can be also used on Windows, but it needs some tweaks		2018-07-15 11:54:00 +02:00
..
settings.json	Updated VSCode to 1.25.1	2018-07-15 11:14:24 +02:00
tasks.json	Makefile can be also used on Windows, but it needs some tweaks	2018-07-15 11:54:00 +02:00