Google Git
Sign in
eclipse / ease / org.eclipse.ease.core / 5745ffdbd7ea79a04f48a1e054bd10707e08e91b / . / plugins / org.eclipse.ease.lang.python / src / org / eclipse / ease / lang / python / preferences
tree: c487312d4fcf4289034f4595658b0037d9f202dd [path history] [tgz]
  1. IPreferenceConstants.java