Sign in
eclipse
/
websites
/
dev.eclipse.org
/
30ec92aeb0b51210fa7c2d8529cd2800ff8f293d
/
.
/
eclipse.org-common
/
.settings
/
org.eclipse.php.core.prefs
blob: 963daf58d2c31777a6181bacd0ebf73e6f5f2ca2 [
file
] [
log
] [
blame
]
eclipse
.
preferences
.
version
=
1
include_path
=
0
;/
eclipse
.
org
-
common