Push 1.20.1 Archive
This commit is contained in:
parent
3a6b398dc6
commit
217759f578
237 changed files with 2285 additions and 3368 deletions
2
.gitpod.Dockerfile
vendored
2
.gitpod.Dockerfile
vendored
|
@ -4,4 +4,4 @@ RUN sudo apt-get -q update && \
|
|||
sudo apt install p7zip-full make && \
|
||||
sudo apt install -yq openjdk-17-jdk
|
||||
|
||||
RUN sudo update-java-alternatives --set java-1.17.0-openjdk-amd64
|
||||
RUN sudo update-java-alternatives --set java-1.17.0-openjdk-amd64
|
Loading…
Add table
Add a link
Reference in a new issue