tree 752d5b6b2abe4cb73d7407460a38acba3091e538
parent 7d9496d9d08f3e036dad6bf1d0bca7554118bada
author Raphael von der Grün <raphinesse@gmail.com> 1557328354 +0200
committer Raphael von der Grün <raphinesse@gmail.com> 1557332136 +0200

Remove unused files from tools/