[supervisor] Add desktop IDE backend support

/werft with-clean-slate-deployment
gitpod-io · Oct 27, 2021 · 19dcaa4 · 19dcaa4
1 parent 21091c8
commit 19dcaa4
Show file tree

Hide file tree

Showing 8 changed files with 1,564 additions and 391 deletions.
diff --git a/components/supervisor-api/go/status.pb.go b/components/supervisor-api/go/status.pb.go
diff --git a/components/supervisor-api/java/.project b/components/supervisor-api/java/.project
@@ -22,7 +22,7 @@
 	</natures>
 	<filteredResources>
 		<filter>
-			<id>1631534388556</id>
+			<id>0</id>
 			<name></name>
 			<type>30</type>
 			<matcher>