.settings/org.eclipse.php.core.prefs
author durandn
Tue, 22 Sep 2015 12:04:36 +0200
changeset 1061 7d22bfd6b73b
parent 797 8407313c144f
permissions -rw-r--r--
CreateAnnotation: now triggering events for hiding and showing widget after submitting to make it easier for other widgets to catch these events

#Sat Sep 24 15:42:33 CEST 2011
eclipse.preferences.version=1
include_path=