Victor Nogueira 6dfd3f7003 Upgrade Gradle Wrapper to v7.5.1 in all components ...

The process of upgrading Gradle Wrapper is described here: https://docs.gradle.org/7.5.1/userguide/gradle_wrapper.html#sec:upgrading_wrapper

2022-11-08 10:18:38 +01:00

..

gradle/wrapper

Upgrade Gradle Wrapper to v7.5.1 in all components

2022-11-08 10:18:38 +01:00

src/main/java/io/gitpod/supervisor

Update grpc code

2022-10-04 15:17:22 +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

Update grpc code

2022-10-04 15:17:22 +02: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 to v7.5.1 in all components

2022-11-08 10:18:38 +01:00

gradlew.bat

Upgrade Gradle Wrapper to v7.5.1 in all components

2022-11-08 10:18:38 +01:00

settings.gradle

[supervisor-api] Add Java gRPC API

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