diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2016-08-13 17:12:31 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2016-08-13 17:12:31 -0700 |
commit | 41e8b437da91e3b581e94fb89c765b038eebc302 (patch) | |
tree | b8b55a738f47eb0e44ff413e92c87a281af97ea3 /edit | |
parent | b52bfca2a2b64cee5b17c5b53ce2f78c5591f4d9 (diff) | |
download | mu-41e8b437da91e3b581e94fb89c765b038eebc302.tar.gz |
3176
Don't print the header for 'Mu tests' if there are no Mu tests to run.
Diffstat (limited to 'edit')
0 files changed, 0 insertions, 0 deletions