Google Git
Sign in
eclipse / gerrit / efxclipse / org.eclipse.efxclipse / e76231d1807f7fc3cb28493561c7562e0613fa63 / . / demos / CodeEditor / .settings
tree: 3d815131544c592d199f8ee03535ce1960c7b40b [path history] [tgz]
  1. org.eclipse.jdt.core.prefs