view Log.java @ 2:77e2655ac09d

Whitespace clean.
author Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
date Wed, 08 Jan 2014 19:01:02 +0100
parents 855307f4bf5e
children
line wrap: on
line source

class Log extends java.io.PrintStream
{

    static Log DEFAULT = new Log(System.err);

    Log(java.io.OutputStream out) {
	super(out);
    }

}