David
02/28/2023, 9:00 PMjlleitschuh
02/28/2023, 9:02 PMjlleitschuh
02/28/2023, 9:03 PMDavid
02/28/2023, 9:05 PMDavid
02/28/2023, 9:06 PMephemient
02/28/2023, 9:06 PMktlint
script is just a simple shell wrapper prepended to a JAR. you can run it with java -jar
or replace the prefix with your own batch script launcher.ephemient
02/28/2023, 9:07 PMDavid
02/28/2023, 9:11 PMephemient
02/28/2023, 9:12 PMephemient
02/28/2023, 9:12 PMDavid
02/28/2023, 9:14 PMPaul Dingemans
03/01/2023, 6:48 PM