mirror of
https://github.com/openjdk/jdk.git
synced 2026-02-08 09:35:16 +00:00
3 lines
58 B
INI
3 lines
58 B
INI
javac.source=1.5
|
|
javac.compilerargs=-Xlint -Xlint:-serial
|