| commit | 6080feedfb33982b8f4f884f6ce2f5a4a2679d2e | [log] [tgz] |
|---|---|---|
| author | DJ Houghton <dj> | Wed Apr 04 20:23:38 2007 +0000 |
| committer | DJ Houghton <dj> | Wed Apr 04 20:23:38 2007 +0000 |
| tree | 65dc2104ab180dc6e16e02b569f7bdf672c2893f | |
| parent | 5c1d5aeee93edd2db564e4f171727ee5dde34392 [diff] |
Bug 120813 - [prefs] pluginCustomization system property not recognised if only set in config.ini