diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-11-02 15:35:22 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-11-02 15:35:27 +0100 |
| commit | bae81b83d63f9e4b6c564a3e4c3960778fb90458 (patch) | |
| tree | ca68911834801b977b85cb86034f25feccf0ff40 /.github | |
| parent | 1107653d05a4992cd97bb9e12fd1e8200555f0ec (diff) | |
| parent | 159597a2b8967c8bc8106d98705d68932500b58a (diff) | |
Merge #8674: tools for analyzing, updating and adding copyright headers in source files
159597a [devtools] script support for managing source file copyright headers (isle2983)
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions