Commit Graph

6 Commits (ae28a7c72db2776d7b2bf878b05c091e9ed11ace)

Author SHA1 Message Date
Wladimir J. van der Laan 583df73acd
Merge pull request #4110
11 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 202c95c216 devtools: have symbol check script check for exported symbols
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