diff options
author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-01-12 16:46:54 +0100 |
---|---|---|
committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2020-01-12 16:46:54 +0100 |
commit | 7a381e90484fe2e9de260d3927c8990dc7b5b6f8 (patch) | |
tree | 9f678131dc515f6d37520300b7e829f7fad79f24 /.gitignore | |
parent | 366d8eb7448f2eeb253dfc76e724af5ec3137109 (diff) |
Set Java source version to 13.
Change-Id: Ic3b2f5332f7a00c4153b80fdd063e223367fef6f
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions