4 commits

Author	SHA1	Message	Date
Wladimir J. van der Laan	202c95c216	devtools: have symbol check script check for exported symbols ... After last commit, our executables should export no symbols anymore. To make sure that this stays the case, verify this in the symbol checker script.	2014-04-30 15:30:39 +02:00
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