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