3 commits

Author	SHA1	Message	Date
Wladimir J. van der Laan	74fc254c2b	devtools: add script to check symbols from Linux gitian executables ... Add a script to check that the (Linux) executables produced by gitian only contain allowed gcc, glibc and libstdc++ version symbols. This makes sure they are still compatible with the minimum supported Linux distribution versions.	2014-04-25 12:19:37 +02:00
gubatron	57702541a2	Copyright header updates s/2013/2014 on files whose last git commit was done in 2014. ... contrib/devtools/fix-copyright-headers.py script to be able to perform this maintenance task with ease during the rest of the year, every year. Modifications to contrib/devtools/README.md to document what fix-copyright-headers.py does.	2014-02-09 21:06:06 -05:00
Wladimir J. van der Laan	e5adec35c6	contrib: add sipa's github-merge script	2013-11-24 12:44:31 +01:00