Merge #8674: tools for analyzing, updating and adding copyright headers in source files
159597a [devtools] script support for managing source file copyright headers (isle2983)
Description
Description
Details
Details
- Provenance
Wladimir J. van der Laan <laanwj@gmail.com> Authored on Nov 2 2016, 14:35 deadalnix Pushed on May 14 2017, 22:04 - Parents
- rABC159597a2b896: [devtools] script support for managing source file copyright headers
rABC1107653d05a4: Merge #9060: trivial: fix bloom filter init to isEmpty = true - Branches
- Unknown
- Tags
Merged Changes
Merged Changes