Skip to content

Changes

#61 (Nov 24, 2022, 9:28:16 AM)

  1. Switch from Java 1.8 to 11. — Alberto Debiasi / detail

#21 (Sep 14, 2021, 11:19:33 AM)

  1. Fix org.eclipse.jdt.core.prefs files. — Alberto Debiasi / detail