public / ack.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d94c326 b7de58e)
Merge pull request #20 from davidgiven/dtrg-tests
authorDavid Given <dg@cowlark.com>
Thu, 1 Dec 2016 21:23:09 +0000 (22:23 +0100)
committerGitHub <noreply@github.com>
Thu, 1 Dec 2016 21:23:09 +0000 (22:23 +0100)
Replace the hacky pipeline in testdriver.sh with a bespoke tool.


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.