diff options
author | silvio | 2020-06-29 09:20:26 +0200 |
---|---|---|
committer | GitHub | 2020-06-29 09:20:26 +0200 |
commit | a52be3a337e8e45b3462eeb76bccf54b277e4b81 (patch) | |
tree | a61f8d078b240e45622d0673df2b572a294db9a1 /misc/start.sh | |
parent | c9d8de54cf71e22fbd117c9486509d351a4aec6a (diff) | |
parent | 0627afe02521f1f5d1f9d20b35ad61a03446e547 (diff) | |
download | languagetool-a52be3a337e8e45b3462eeb76bccf54b277e4b81.tar.gz |
Merge pull request #13 from jansel/java14
Fix warnings and upgrade to openjdk-14
Diffstat (limited to 'misc/start.sh')
0 files changed, 0 insertions, 0 deletions