100644 blob 1745cfe668330a5a168f7f4530618a7c0ab0a1ad	copyright.txt
100755 blob 423bfef9241d430613fd3524624e4402ed5b9193	coverage.sh
100755 blob 24bb8f59c936e725db18fbd5a1342317ff19560d	fix_copyright.py
100755 blob 21d995625f801bb44dce5e294712d2fa4294ffa0	format.sh