tree 3d7c62d47023aac3b7bd79e6d0dd7eb10ad76e28
parent 25527d591e7a52f9741a945ba6af71139d7de978
author Luca Milanesio <luca.milanesio@gmail.com> 1524062391 +0100
committer Luca Milanesio <luca.milanesio@gmail.com> 1524062702 +0000

Only display filenames that need formatting

Change-Id: I603801749b5a992099d92f07d34aa4fddd6e4b3f