Push 1.18.2 Archive
This commit is contained in:
parent
eb5cb460a7
commit
3a6b398dc6
215 changed files with 3085 additions and 2182 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