Changes
#61 (Nov 24, 2022, 9:28:16 AM)
- Switch from Java 1.8 to 11. — Alberto Debiasi / detail
- Change Java compiler (from 1.8 to 11). — Alberto Debiasi / detail
#21 (Sep 14, 2021, 11:19:33 AM)
- Fix org.eclipse.jdt.core.prefs files. — Alberto Debiasi / detail