lucene/dev-tools/eclipse/dot.settings
Uwe Schindler faaee86efb LUCENE-8738: Move to Java 11 as minimum Java version (merged branch: jira/LUCENE-8738)
Co-authored-by: Adrien Grand <jpountz@apache.org>
2019-04-16 14:00:09 +02:00
..
org.eclipse.core.resources.prefs
org.eclipse.jdt.core.prefs LUCENE-8738: Move to Java 11 as minimum Java version (merged branch: jira/LUCENE-8738) 2019-04-16 14:00:09 +02:00
org.eclipse.jdt.ui.prefs LUCENE-7012: change license header location in new Java files 2016-02-03 21:08:53 +02:00