Google Git
Sign in
eclipse / platform / eclipse.platform.text / f85976cf2deff630448510b18ec517fa21dc9da4 / . / org.eclipse.ui.genericeditor / .settings
tree: 28a9e08555a10d06d413d2ddf2d38036dde0b580 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs