chiark / gitweb /
Merge pull request #136 from jschueller/testopt
authorJulien Schueller <schueller@phimeca.com>
Thu, 24 Aug 2017 13:36:59 +0000 (15:36 +0200)
committerGitHub <noreply@github.com>
Thu, 24 Aug 2017 13:36:59 +0000 (15:36 +0200)
commitf4157d922e8e98b342aceb3d01069ef8d4ae8d9b
tree2d053b7f25ff9d6556ac8e48f556c5ed79b0f3a6
parentd5083a318c092be88bd546a565e099282cb7fd59
parentbb45d7721419523fc2adc94a0d04105a5c5f3d42
Merge pull request #136 from jschueller/testopt

Enhance testopt following #85