Merge #8674: tools for analyzing, updating and adding copyright headers in source...
commitbae81b83d63f9e4b6c564a3e4c3960778fb90458
authorWladimir J. van der Laan <laanwj@gmail.com>
Wed, 2 Nov 2016 14:35:22 +0000 (2 15:35 +0100)
committerWladimir J. van der Laan <laanwj@gmail.com>
Wed, 2 Nov 2016 14:35:27 +0000 (2 15:35 +0100)
treeca68911834801b977b85cb86034f25feccf0ff40
parent1107653d05a4992cd97bb9e12fd1e8200555f0ec
parent159597a2b8967c8bc8106d98705d68932500b58a
Merge #8674: tools for analyzing, updating and adding copyright headers in source files

159597a [devtools] script support for managing source file copyright headers (isle2983)
contrib/devtools/README.md