diff options
| author | MarcoFalke <falke.marco@gmail.com> | 2019-04-11 09:53:04 -0400 |
|---|---|---|
| committer | MarcoFalke <falke.marco@gmail.com> | 2019-04-11 13:34:43 -0400 |
| commit | faf400077d0144363c2dd24187431d958fb149a9 (patch) | |
| tree | f75296d1f59beb0fa84d335f9829f4c357c4190b /.github | |
| parent | fa821904bf8870d8957a82ea65c0c7a8e84272a6 (diff) | |
scripted-diff: Bump copyright headers in test, bench
-BEGIN VERIFY SCRIPT-
./contrib/devtools/copyright_header.py update ./src/bench/
./contrib/devtools/copyright_header.py update ./src/test/
-END VERIFY SCRIPT-
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions