Google Git
Sign in
eclipse / gerrit / ease / org.eclipse.ease.core / refs/heads/ease-0.6.x / . / plugins / org.eclipse.ease.lang.python / src / org / eclipse / ease / lang / python / preferences
tree: 68fcaaa19adaa8e401b1f22db03daed1a1e0b98a [path history] [tgz]
  1. IPreferenceConstants.java