diff options
Diffstat (limited to 'update/org.eclipse.update.core/preferences.ini')
| -rw-r--r-- | update/org.eclipse.update.core/preferences.ini | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/update/org.eclipse.update.core/preferences.ini b/update/org.eclipse.update.core/preferences.ini deleted file mode 100644 index 7936e7fcd..000000000 --- a/update/org.eclipse.update.core/preferences.ini +++ /dev/null @@ -1,8 +0,0 @@ -# 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= - - |