tools: remove unused oldtools
Signed-off-by: Federico Vaga <federico.vaga@cern.ch>
Showing
oldtools/.gitignore
deleted
100644 → 0
oldtools/Makefile
deleted
100644 → 0
Signed-off-by: Federico Vaga <federico.vaga@cern.ch>
mentioned in commit fa3a865f
·mentioned in commit fa3a865f