diff options
Diffstat (limited to 'Build/source/texk/tex4htk/java/xtpipes/XtpipesPrintWriter.java')
-rw-r--r-- | Build/source/texk/tex4htk/java/xtpipes/XtpipesPrintWriter.java | 28 |
1 files changed, 0 insertions, 28 deletions
diff --git a/Build/source/texk/tex4htk/java/xtpipes/XtpipesPrintWriter.java b/Build/source/texk/tex4htk/java/xtpipes/XtpipesPrintWriter.java deleted file mode 100644 index 28eff6c12b3..00000000000 --- a/Build/source/texk/tex4htk/java/xtpipes/XtpipesPrintWriter.java +++ /dev/null @@ -1,28 +0,0 @@ -package xtpipes; -/* -XtpipesPrintWriter.java (2009-01-27-22:19) -*/ -import java.io.*; -public class XtpipesPrintWriter extends PrintWriter { - public XtpipesPrintWriter() { - super(System.out, true); - } - public XtpipesPrintWriter (PrintStream ps, boolean b){ - super(ps, b); - } - public XtpipesPrintWriter (OutputStream ps, boolean b){ - super(ps, b); - } - public XtpipesPrintWriter (FileWriter fw){ - super(fw); - } - public XtpipesPrintWriter (Writer wr){ - super(wr); - } - public void print(String str) { - super.print( XtpipesUni.toUni(str, "") ); - } - public void println(String str) { - super.println( XtpipesUni.toUni(str, "") ); -} } - |