Andrew Gaul 7e8238abc0 Upgrade to JDK 17 (#2196) ... Newer distros package this but some older ones do not. Also remove stale Ubuntu 16.04 configuration.		2023-06-25 18:05:38 +09:00
..
ci.yml	Address cppcheck 2.10 warnings (#2163)	2023-06-25 16:04:16 +09:00
linux-ci-helper.sh	Upgrade to JDK 17 (#2196)	2023-06-25 18:05:38 +09:00