14 Commits (facf5a494708df755a15d63d339412201512e13f)

Author SHA1 Message Date
Wladimir J. van der Laan da6d18b6c7 devtools: replace github-merge with python version 9 years ago
MarcoFalke fa074a6fd0 [contrib] Prepare clang-format-diff for usage 9 years ago
MarcoFalke fada0c90b6 [travis] Fail when documentation is outdated 9 years ago
MarcoFalke fa6ad855e9 [devtools] Rewrite fix-copyright-headers.py 9 years ago
MarcoFalke fad246037f Update contrib/devtools/README.md 9 years ago
MarcoFalke 0af8fe45ae devtools: Update README.md 9 years ago
MarcoFalke 8c15f33d15 [trivial] Update contrib/devtools/README.md 9 years ago
Pieter Wuille 5ff94c630e Add git-subtree-check.sh script 10 years ago
sandakersmann f914f1a746
Added "Core" to copyright headers 10 years ago
Wladimir J. van der Laan 9dd5d79244 devtools: add a script to fetch and postprocess translations 11 years ago
Wladimir J. van der Laan 74fc254c2b devtools: add script to check symbols from Linux gitian executables 11 years ago
gubatron 57702541a2 Copyright header updates s/2013/2014 on files whose last git commit was done in 2014. 11 years ago
Wladimir J. van der Laan e5adec35c6 contrib: add sipa's github-merge script 11 years ago