remove last vestiges of tonic
tools - gate/build tools
There are still some minor parts of the old, and now useless, tonic work which remain. They should be deleted.
Updated by Electric Monk about 6 years ago
Author: Richard Lowe <email@example.com> 4525 remove last vestiges of tonic Reviewed by: Garrett D'Amore <firstname.lastname@example.org> Reviewed by: Josef 'Jeff' Sipek <email@example.com> Reviewed by: Yuri Pankov <firstname.lastname@example.org> Reviewed by: Jens Elkner <email@example.com> Approved by: Gordon Ross <firstname.lastname@example.org>