Remove references to removed files
authorRicardo Mones <ricardo@mones.org>
Mon, 20 Jan 2020 10:23:05 +0000 (11:23 +0100)
committerRicardo Mones <ricardo@mones.org>
Mon, 20 Jan 2020 10:23:05 +0000 (11:23 +0100)
commit7634582edc11fdf57b2023904a9af079614f3982
tree29907ccea544a4c947110632671aa12e69962848
parent3e7ba2c899f0c998f979882fb1f5bf48be550869
Remove references to removed files

Referenced files were removed more than twelve years ago in commit
3d07175163ff1920b6a76a572667f3ff4ebbdaf5
tools/README