New string.

2005-10-20 22:18:14 +00:00 · 2005-10-20 22:18:14 +00:00 · 8143473cea
--- a/minimo/chrome/locale/en-US/preferences.dtd
+++ b/minimo/chrome/locale/en-US/preferences.dtd
@ -21,6 +21,7 @@
 <!ENTITY proxyCaption.label          "HTTP Proxy Settings">
 <!ENTITY useproxyCheckbox.label      "Use Proxy">
 <!ENTITY proxyPortCaption.label      "Port">
+<!ENTITY proxyURL.label              "URL">

 <!-- Home pane -->