Wladimir J. van der Laan b8d9058a4d
Merge pull request #3646
5770254 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. (gubatron)
2014-02-16 11:44:48 +01:00
..
2014-02-14 13:25:24 -05:00
2014-02-16 11:44:48 +01:00
2013-12-20 11:18:50 +01:00
2013-12-20 11:18:50 +01:00
2014-02-16 11:44:48 +01:00
2014-02-16 11:44:48 +01:00
2014-02-16 11:44:48 +01:00
2014-02-16 11:44:48 +01:00