3 Commits

Author	SHA1	Message	Date
MarcoFalke	333e1eaeea	Bump copyright headers to 2015 ... - Bump copyright headers to 2015 - [devtools] Rewrite fix-copyright-headers.py - [devtools] Use git pretty-format for year parsing Github-Pull: #7205 Rebased-From: fa6ad855e9 fa24439ff3 fa71669452	2016-01-05 14:13:33 +01:00
sandakersmann	f914f1a746	Added "Core" to copyright headers ... Github-Pull: #5494 Rebased-From: 15de949bb9277e442302bdd8dee299a8d6deee60	2014-12-19 19:55:32 +01: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