Skip to content
GitLab
Explore
Sign in
Register
21-27ea-4
7ed586dd
·
* debian/rules: Correctly set BOOT_JDK_HOME.
·
Jun 17, 2023