chiark / gitweb /
Plumb JARRG_JAVA_OPTS through
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 10:08:54 +0000 (11:08 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 8 Apr 2023 16:10:56 +0000 (17:10 +0100)
commite5c47bf288363470e1b998a255b28ef1bb43cda7
tree890fd34bfb5988596cfc63b0b35be8279c7f1114
parentc1533c5624ae6b00dbd7cd91fcb7702db2a096df
Plumb JARRG_JAVA_OPTS through

I did this to try to pass hidpi options which wasn't successful, but
I'll keep it.
jarrg