diff options
author | fanquake <fanquake@gmail.com> | 2019-10-04 14:10:02 -0400 |
---|---|---|
committer | fanquake <fanquake@gmail.com> | 2019-10-04 14:23:54 -0400 |
commit | 917d3d9052b5d91ee4cfe1053077cbc0c67c0ce2 (patch) | |
tree | 88510523dfc8dfd4506bc083e2b2cf0fd337d5d3 /src/optional.h | |
parent | 94d6a18f23ec1add600f04fc7bd0808b7384d829 (diff) | |
parent | dffae5a5adc0626fae1a5a13279fc4dde4ec603e (diff) |
Merge #17052: scripts: update copyright_header script to include additional files
dffae5a5adc0626fae1a5a13279fc4dde4ec603e scripts: update copyright_header script to include additional files (gchuf)
Pull request description:
Includes .sh and .bash-completion files in the script as well
ACKs for top commit:
MarcoFalke:
ACK dffae5a5adc0626fae1a5a13279fc4dde4ec603e
fanquake:
ACK dffae5a5adc0626fae1a5a13279fc4dde4ec603e
Tree-SHA512: b1372bc802b6613e3d6362819fefe7e2a9e656dc483238a626448e646ad57071297de108f89ecb7a71b0bcd49f8e6a2f7599f1dd7798a886872b6755de5d2ccf
Diffstat (limited to 'src/optional.h')
0 files changed, 0 insertions, 0 deletions