diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-02-16 11:44:18 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-02-16 11:44:48 +0100 |
| commit | b8d9058a4d1ce28eefa65aa3339bcc52b3c014e9 (patch) | |
| tree | 6a8e0611ff2ca8782c4d9bfcad82fde8d473b1f5 /src/sync.h | |
| parent | 25d816110ba28c5014b23c9a363c472fc28a3891 (diff) | |
| parent | 57702541a2009d4b936ebfddeeec3db7f8f74e5c (diff) | |
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)
Diffstat (limited to 'src/sync.h')
0 files changed, 0 insertions, 0 deletions