Andrew Gaul 37af08bacf Use JRE instead of JDK for Debian-based distros (#1839) ... This reduces the dependencies installed. It does not appear that Fedora-based distros support this. Co-authored-by: Takeshi Nakatani <ggtakec@gmail.com>		2022-01-05 01:29:06 +09:00
..
ci.yml	Fix typos in CI scripts	2022-01-03 19:50:13 +09:00
linux-ci-helper.sh	Use JRE instead of JDK for Debian-based distros (#1839)	2022-01-05 01:29:06 +09:00