Leo Wandersleb 546577df6a exit code 1 if parameters are wrong ...

for use in scripts, it's not convenient to get an exit code 0 on
failure.

2020-06-16 06:18:57 -04:00

..

Main.java

exit code 1 if parameters are wrong

2020-06-16 06:18:57 -04:00