Google Git
Sign in
eclipse / objectteams / org.eclipse.objectteams / 277b964722b4e9ded9e9eb0168f2cf1ec11e3aef / . / othersrc / JCLMin1.7 / .settings
tree: 81b7a01c6cd90123d5439c9f862edfda85ed6bdc [path history] [tgz]
  1. org.eclipse.jdt.core.prefs