| commit | 5a3c7c39db92e51e9f78b996eef6a0b81c244cae | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Fri Jan 07 12:56:21 2005 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Fri Jan 07 12:56:21 2005 +0000 |
| tree | e65008e1ae29f0c3a1d5b34f06ef0204eee1eb2f | |
| parent | 30620ac6418ac7cead213ba677ca30600eef3b7b [diff] |
Oops, there was a tab in there.
diff --git a/Mac/Tools/IDE/PackageManager.py b/Mac/Tools/IDE/PackageManager.py index 76a184f..5b0cec2 100755 --- a/Mac/Tools/IDE/PackageManager.py +++ b/Mac/Tools/IDE/PackageManager.py
@@ -182,7 +182,7 @@ if filename: filename = urllib.pathname2url(filename) if filename[:5] != 'file:': - filename = 'file:' + filename + filename = 'file:' + filename self.opendoc(filename) def domenu_openURL(self, *args):