diff checker.pri @ 56:38ad8cba87a6

Remove unnecessary output
author Chris Cannam
date Wed, 16 Jan 2019 16:00:46 +0000
parents bb3d59462052
children 5c60e26e16ca
line wrap: on
line diff