tree 5095d822891558ff3d0fe35fc846100265850a4f
parent e85afe8518992ef396f7ea1563a47bfb22bc25d5
author Florian Nücke <florian@nuecke.de> 1380843118 +0200
committer Florian Nücke <florian@nuecke.de> 1380843118 +0200

made checkarg a kernel provided function again after all; cleaned up some