moved tools to oldtools; tools/ is currently empty
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
Showing
oldtools/Makefile
0 → 100644
tools/load.sh
deleted
100644 → 0
Please
register
or
sign in
to comment