Merge #11011: [Trivial] Add a comment on the use of prevector in script.
[bitcoinplatinum.git] / contrib / devtools / 
tree80a414e4b1616ab672493a878f0d2e695a99cf20
drwxr-xr-x   ..
-rw-r--r-- 6505 README.md
-rwxr-xr-x 1861 check-doc.py
-rwxr-xr-x 6190 clang-format-diff.py
-rwxr-xr-x 1719 commit-script-check.sh
-rwxr-xr-x 22374 copyright_header.py
-rwxr-xr-x 1061 gen-manpages.sh
-rwxr-xr-x 1992 git-subtree-check.sh
-rwxr-xr-x 14031 github-merge.py
-rwxr-xr-x 3391 optimize-pngs.py
-rwxr-xr-x 8216 security-check.py
-rw-r--r-- 353 split-debug.sh.in
-rwxr-xr-x 6194 symbol-check.py
-rwxr-xr-x 2644 test-security-check.py
-rwxr-xr-x 8075 update-translations.py