From: David Given Date: Thu, 1 Dec 2016 21:23:09 +0000 (+0100) Subject: Merge pull request #20 from davidgiven/dtrg-tests X-Git-Url: https://git.ndcode.org/public/gitweb.cgi?a=commitdiff_plain;h=ee22fc5fae8b0a14f1cf0b6b7fe6dee3d80fd6b5;p=ack.git Merge pull request #20 from davidgiven/dtrg-tests Replace the hacky pipeline in testdriver.sh with a bespoke tool. --- ee22fc5fae8b0a14f1cf0b6b7fe6dee3d80fd6b5