diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2022-10-17 19:38:56 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2022-10-17 19:38:56 +0200 |
| commit | 91dbd7474041880d2babc7124fcce20fe61493c1 (patch) | |
| tree | dba559a9f4b9b604f035e27fd4d4dc7207a74bcd /.mvn/jvm.config | |
| parent | eac6ed704e7fa059488848c5d52cc4c8102d7ac5 (diff) | |
Remove Checker Framework; add NullAway, Picnic Error Prone Support.
Change-Id: I6558f0b4db0f9a192c18bbe45e2eaf10595bc666
Diffstat (limited to '.mvn/jvm.config')
0 files changed, 0 insertions, 0 deletions