diff options
| author | Rawi01 <Rawi01@users.noreply.github.com> | 2021-04-18 16:14:11 +0200 |
|---|---|---|
| committer | Roel Spilker <r.spilker@gmail.com> | 2023-03-22 10:22:34 +0100 |
| commit | 34abdc0ba07acfcde684ccf0c4bd130ab507f48c (patch) | |
| tree | e32f0b98280821a5c90b94ea47bfe4b9ea9e8d88 /docker/provision/jdk/java-12.sh | |
| parent | ec7a2e1164eddf2eabbd47c354276a9c83473082 (diff) | |
| download | lombok-34abdc0ba07acfcde684ccf0c4bd130ab507f48c.tar.gz lombok-34abdc0ba07acfcde684ccf0c4bd130ab507f48c.tar.bz2 lombok-34abdc0ba07acfcde684ccf0c4bd130ab507f48c.zip | |
Mark scripts as executable
Diffstat (limited to 'docker/provision/jdk/java-12.sh')
| -rwxr-xr-x[-rw-r--r--] | docker/provision/jdk/java-12.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docker/provision/jdk/java-12.sh b/docker/provision/jdk/java-12.sh index 6598d56c..6598d56c 100644..100755 --- a/docker/provision/jdk/java-12.sh +++ b/docker/provision/jdk/java-12.sh |