summaryrefslogtreecommitdiff
path: root/README.progress-reporting
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2014-02-14 18:35:35 +0100
committerDavid Kalnischkies <david@kalnischkies.de>2014-02-14 19:14:45 +0100
commit5543218acdbbeef1d9f6d118e0b86a765c341430 (patch)
tree71114ef8efb0736bab4129f1f796ade8f98869ef /README.progress-reporting
parent8190b07a4b338e005fa30d769cb34f1fd29eaa45 (diff)
honor option to disable pulses for the testcases
Git-Dch: Ignore
Diffstat (limited to 'README.progress-reporting')
0 files changed, 0 insertions, 0 deletions