remove unused <tools.h>
commit8a3b6ca3bbcdeca1a5445754a25d1cdaf6917fed
authorBen Gras <ben@minix3.org>
Thu, 20 Sep 2012 10:24:22 +0000 (20 12:24 +0200)
committerBen Gras <ben@minix3.org>
Thu, 20 Sep 2012 10:24:22 +0000 (20 12:24 +0200)
tree6f6571566b169e04702521fd8ac559974da360c6
parentb16aacc7f34cd9096b6de8f35858e7a10136924b
remove unused <tools.h>
commands/fsck.mfs/fsck.c
lib/libminlib/Makefile
lib/libminlib/tools.h [deleted file]
servers/vm/glo.h