Remove old ctf tools
The new tools appear to have landed safely enough.
Updated by Electric Monk 4 days ago
- % Done changed from 0 to 100
- Status changed from New to Closed
commit ce115d25b7c5f8cff5a9444c4d0d1ea9d31c2056 Author: John Levon <firstname.lastname@example.org> Date: 2019-09-12T11:40:11.000Z 11657 Remove old ctf tools Reviewed by: Robert Mustacchi <email@example.com> Approved by: Dan McDonald <firstname.lastname@example.org>