60 Commits (5c7a5e1f66d8611d84d66c7e0295bd41c71f85bf)

Author SHA1 Message Date
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