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