Sign in
eclipse
/
platform
/
eclipse.platform
/
refs/tags/r301_v20040914
/
.
/
update
/
org.eclipse.update.core
/
preferences.ini
blob: 7936e7fcd83818e20b87819a9ae3884e0daaf794 [
file
] [
log
] [
blame
]
# The port number on which the sever listens for http requests.
# If the port is 0 and arbitrary port is picked by the system.
# Defines the policy url that contains directives for redirecting
# updates to different update sites.
#updatePolicyURL=