Pascal Vizeli 8d84a8a62e Update panel & support panel on devcontainer (#1163) ... * Update panel & support panel on devcontainer * small cleanups * small size		2019-07-16 12:23:03 +02:00
..
tasks.json	Update panel & support panel on devcontainer (#1163)	2019-07-16 12:23:03 +02:00