diff Log.java @ 0:855307f4bf5e

Working version.
author Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
date Fri, 22 Feb 2013 17:24:40 +0100
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Log.java	Fri Feb 22 17:24:40 2013 +0100
@@ -0,0 +1,10 @@
+class Log extends java.io.PrintStream
+{
+
+    static Log DEFAULT = new Log(System.err);
+
+    Log(java.io.OutputStream out) {
+	super(out);
+    }
+
+}