remove unused <tools.h>
[minix3.git] / commands / DESCRIBE / 
tree862198bd8bf02dde982106730b02a51fd2561a6c
drwxr-xr-x   ..
-rw-r--r-- 4878 DESCRIBE.sh
-rw-r--r-- 50 Makefile