12 Commits

Author	SHA1	Message	Date
Anton Kosyakov	25b7e986d8	[theia] revert java debug extension	2021-03-03 10:20:50 +01:00
Bhadresh Desai	ec60884f47	Update java plugins (#3244) (#3281)	2021-02-26 14:09:06 +01:00
Anton Kosyakov	daaef1b588	switch to golang for go built-in extensions	2020-12-17 12:41:10 +01:00
Anton Kosyakov	a2965f9fe7	[theia] add css/htm language features extensions	2020-12-10 12:22:51 +01:00
Christian Weichel	1ae02969eb	[workspace] Remove privileged workspace config flag	2020-11-27 10:54:56 +01:00
Anton Kosyakov	53b6460de7	[supervisor] port config service	2020-11-04 05:50:23 +01:00
Anton Kosyakov	e3692b38ec	[supervisor] gitpod config service	2020-11-04 05:50:23 +01:00
Anton Kosyakov	32a4d7a961	add ide settings permission and enable it for devops role	2020-10-07 09:38:02 +02:00
Anton Kosyakov	a7d0af21f4	deprecate ide property	2020-10-05 10:26:02 +02:00
Cornelius A. Ludmann	9699516079	Allow setting port visibility in .gitpod.yml ... Fixes gitpod-io/gitpod#1867	2020-09-25 17:21:57 +02:00
Anton Kosyakov	da278d55ba	[ide/code] initial image ... Signed-off-by: Anton Kosyakov <anton.kosyakov@typefox.io>	2020-09-14 10:01:00 +02:00
gitpod-init	24f7b609bf	initial commit	2020-08-25 09:25:15 +00:00