diff options
| author | UpcraftLP <j-schirra@gmx.de> | 2019-02-15 21:52:41 +0100 |
|---|---|---|
| committer | UpcraftLP <j-schirra@gmx.de> | 2019-02-15 21:52:41 +0100 |
| commit | 51bee1baf0edd9c536b504aeee1ae6e3e44b474d (patch) | |
| tree | b0eae0243e342b8eb2a73110296dd42aa8eb31d5 /src/main | |
| parent | 2931e41b5a63d117abd5827480b5856cdd7b8d7e (diff) | |
use constants for source/target compatibility levels
Diffstat (limited to 'src/main')
0 files changed, 0 insertions, 0 deletions