aboutsummaryrefslogtreecommitdiff
path: root/contrib/devtools
AgeCommit message (Expand)Author
2014-09-01Add deeper XML checking to update-translation scriptWladimir J. van der Laan
2014-05-02Merge pull request #4110Wladimir J. van der Laan
2014-05-01devtools: add a script to fetch and postprocess translationsWladimir J. van der Laan
2014-04-30devtools: have symbol check script check for exported symbolsWladimir J. van der Laan
2014-04-25devtools: add script to check symbols from Linux gitian executablesWladimir J. van der Laan
2014-02-09Copyright header updates s/2013/2014 on files whose last git commit was done ...gubatron
2013-11-24contrib: add sipa's github-merge scriptWladimir J. van der Laan