[patch] Patch for preferences.js to repair highlighting bug 8401
preferences.patch (text/plain), 1.00 KB, created by Fred P on 2013-01-17 18:59:06 UTC
(hide)
 
Creator: Fred P
Created: 2013-01-17 18:59:06 UTC
Size: 1.00 KB
Actions: View | Diff | Splinter Review
Attachments on bug 8401: 10734 | 14685 | 14688 | 14689 | 14690