Merge pull request #13 from clean-cloogle/pr-better-output
authordopefishh <mart@martlubbers.net>
Tue, 25 Jul 2017 16:58:08 +0000 (18:58 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Jul 2017 16:58:08 +0000 (18:58 +0200)
Pr better output


No differences found