5 Commits

Author	SHA1	Message	Date
Joao Moreno	df34c5c68a	Merge branch 'master' into extension-viewlet	2016-06-21 14:13:35 +02:00
Joao Moreno	9b90c12a41	remove extension quick open & status bar widget	2016-06-16 16:17:17 +02:00
Benjamin Pasero	10bec77410	remove old markdown contribution	2016-06-16 13:53:39 +02:00
kieferrm	1f49e3fad8	replay: disable built-in markdown	2016-06-14 15:01:58 +02:00
Alex Dima	982f714f2f	convert workbench.main to TypeScript	2016-06-08 20:35:09 +02:00