Jean Pierre 0acc0b30ec [supervisor] Add PortsStatus::on_open and deprecate ExposedPortInfo::on_exposed

2022-09-22 12:29:23 +02:00

..

gradle/wrapper

Upgrade Gradle Wrapper for compatibility with Java 17

2022-08-10 07:48:54 +02:00

src/main/java/io/gitpod/supervisor

[supervisor] Add PortsStatus::on_open and deprecate ExposedPortInfo::on_exposed

2022-09-22 12:29:23 +02:00

.classpath

Fix Java projects configs

2022-08-11 21:16:28 +02:00

.gitattributes

[supervisor-api] Add Java gRPC API

2021-10-11 05:44:57 -03:00

.gitignore

[supervisor-api] Add Java gRPC API

2021-10-11 05:44:57 -03:00

.project

[supervisor] Add desktop IDE backend support

2021-10-27 12:49:04 +02:00

build.gradle

fixing JB backend plugin

2022-01-27 10:15:19 +01:00

BUILD.yaml

Automatic rollout latest Jetbrains IDE

2022-01-19 22:38:12 +01:00

gradle.properties

jb: backend plugin hot deploy

2022-09-12 11:21:13 +02:00

gradlew

Upgrade Gradle Wrapper for compatibility with Java 17

2022-08-10 07:48:54 +02:00

gradlew.bat

[supervisor-api] Add Java gRPC API

2021-10-11 05:44:57 -03:00

settings.gradle

[supervisor-api] Add Java gRPC API

2021-10-11 05:44:57 -03:00