include/usr-gnu.inc
Mon, 25 Oct 2010 22:04:53 +0200 Guido Berhoerster Initial revision. default tip
less more (0) tip