Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
  • release protected
  • v1.1.15
  • v1.1.14
  • v1.1.13
  • v1.1.12
  • v1.1.11
  • v1.1.10
  • v1.1.9
  • v1.1.8
  • v1.1.7
  • v1.1.6
  • v1.1.5
  • v1.1.4
  • v1.1.3
  • v1.1.2
  • v1.1.1
  • v1.1.0
  • v1.0.0
19 results
Blame Permalink
org.eclipse.jdt.launching.prefs 109 B 
eclipse.preferences.version=1
org.eclipse.jdt.launching.PREF_STRICTLY_COMPATIBLE_JRE_NOT_AVAILABLE=warning