diff options
| author | Det | 2018-03-21 14:57:46 +0200 |
|---|---|---|
| committer | Det | 2018-03-21 14:57:46 +0200 |
| commit | 33f82cf337e305513e7b46e7d46637883b19e5ed (patch) | |
| tree | eaab19829c98a7fb4c8ee7075ea26b98190000cf /jdk-devel.install | |
| parent | 3efdf926ab1c6a624e1987cc7b425faaecb7340f (diff) | |
| download | aur-33f82cf337e305513e7b46e7d46637883b19e5ed.tar.gz | |
Upgpkg: 11b5
Diffstat (limited to 'jdk-devel.install')
| -rw-r--r-- | jdk-devel.install | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/jdk-devel.install b/jdk-devel.install index c1c188dab920..547754f1ec26 100644 --- a/jdk-devel.install +++ b/jdk-devel.install @@ -1,4 +1,4 @@ -THIS_JAVA='java-10-jdk' +THIS_JAVA='java-11-jdk' NAME='JDK Devel' all_off="$(tput sgr0)" |