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 schancel Pushed on Jan 5 2018, 21:58 schancel Pushed on Jan 5 2018, 21:39 schancel Pushed on Jan 5 2018, 21:17 - Parents
- rSTAGING159597a2b896: [devtools] script support for managing source file copyright headers
rSTAGING1107653d05a4: Merge #9060: trivial: fix bloom filter init to isEmpty = true - Branches
- Unknown
- Tags
Merged Changes
Merged Changes