diff options
author | Sven Gothel <[email protected]> | 2021-06-15 14:59:17 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2021-06-15 14:59:17 +0200 |
commit | 7b350761cfe9b83e66757f9e75301126ff3322b6 (patch) | |
tree | ea35eb534e858c9dd285f40a70835d169e90db95 /.settings | |
parent | 8fd5e62090df664f2519293b21ccc99b7e495af8 (diff) |
scripts/run-java-scanner10.sh: Add 'JAVA_PROPS' var to allow passing Java properties.v2.2.7
Diffstat (limited to '.settings')
0 files changed, 0 insertions, 0 deletions