lib/Tools/display
Mon, 13 Nov 2006 18:19:24 +0100 wenzelm fixed comment -- oops;
Mon, 18 Sep 2006 19:12:42 +0200 wenzelm PRIVATE_FILE: slightly more robust way to create and dispose;
less more (0) -2 tip