diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-01-08 13:54:10 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2015-01-08 13:54:17 +0100 |
| commit | d0c97bbe70a6876dadedfbf672387371c9c849d1 (patch) | |
| tree | a375bf5caa5932a0ddbc8606ef110fac32fca335 /contrib/devtools/fix-copyright-headers.py | |
| parent | c8183bf8ea75608987a00c7c8a1450d89e9ca43a (diff) | |
| parent | c6a5ad481975c482f33a7f7ecd210f15e2667b62 (diff) | |
Merge pull request #5617
c6a5ad4 Fix tests after #5413 (Wladimir J. van der Laan)
Diffstat (limited to 'contrib/devtools/fix-copyright-headers.py')
0 files changed, 0 insertions, 0 deletions