Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
[patch] Patch to change XtpipesPrintWriter to PrintWriter
tex4ht-20080829_p0203-fix_XtpipesPrintWriter.patch (text/plain), 1.91 KB, created by John Keeping on 2008-09-01 18:09:33 UTC
(hide)
 
Creator: John Keeping
Created: 2008-09-01 18:09:33 UTC
Size: 1.91 KB
Actions: View | Diff
Attachments on bug 236369: 164273 | 164278 | 164279