summaryrefslogtreecommitdiff
path: root/cmdline
diff options
context:
space:
mode:
authorDavid Kalnischkies <david@kalnischkies.de>2014-05-30 19:18:25 +0200
committerDavid Kalnischkies <david@kalnischkies.de>2014-05-30 19:18:25 +0200
commit91a6f32eec508465e7ffafa6b3fef3bb59c719c0 (patch)
tree850140b5edd120ac4bc24a56a3fc4f6d997663b6 /cmdline
parent1f6cf9e79742ea8e328ef2225b2f5217a9440216 (diff)
show current/total testcase statistic also in concise mode
Git-Dch: Ignore
Diffstat (limited to 'cmdline')
0 files changed, 0 insertions, 0 deletions