Google Git
Sign in
eclipse / objectteams / org.eclipse.objectteams / d0fe02bf25ba6512f929ef41e20aed6913b9a433 / . / JCL / converterJclMin12 / .settings
tree: 877978aa30c368d11ea4893f5a9836551b7b3d21 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs