commit | 0f7b5e0c4f9f0a7516ae84be9df898e02fd34833 | [log] [tgz] |
---|---|---|
author | Anthony Sottile <asottile@umich.edu> | Sat Oct 12 13:53:50 2019 -0700 |
committer | GitHub <noreply@github.com> | Sat Oct 12 13:53:50 2019 -0700 |
tree | d8e2d2fcde41d3d4d0620b775c7944a076f34c9f | |
parent | 49f8b48f2e43cbdb8e025751e8e202cee6145b14 [diff] | |
parent | 86a010b750873ae00429f333c6e83ba7f8a7e29e [diff] |
Merge pull request #419 from pre-commit/extra_output Remove unnecessary double printing of filename