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