You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
Kai Simon d1b3c1db4d Added line to add remote repository 3 years ago
..
org.eclipse.jdt.core.prefs copied W11 from SoSe2021 as starting point, without any of the solutions 3 years ago