tree 4a1944b7fe86a9f46ac4d1c200af0a9327bbb519
parent a07039cfe2e4574b40e08ecb03774b55b210948c
author Darryl Green <darryl.green@arm.com> 1526899222 +0100
committer Darryl Green <darryl.green@arm.com> 1526899278 +0100

Add check-files.py to pre-push.sh