Merge pull request #5486
[bitcoinplatinum.git] / contrib / devtools / 
tree5dedb64ffdd88f6194cfa80e7cf0aebd1c481acb
drwxr-xr-x   ..
-rw-r--r-- 3666 README.md
-rwxr-xr-x 1484 fix-copyright-headers.py
-rwxr-xr-x 1806 git-subtree-check.sh
-rwxr-xr-x 5463 github-merge.sh
-rwxr-xr-x 2989 optimize-pngs.py
-rwxr-xr-x 4344 symbol-check.py
-rwxr-xr-x 6777 update-translations.py