view Log.java @ 6:9e99396a84ef

Whitespace cleanup.
author Tom Fredrik Blenning Klaussen <bfg@bfgconsult.no>
date Tue, 14 Jul 2015 16:03:58 +0200
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);
    }

}