diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-11-07 12:51:36 +0100 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-11-07 12:51:59 +0100 |
commit | 44f2df613f23d0a095a6e47b3d9c498b9df3055b (patch) | |
tree | c774d2d6ac89fc91ebac65429f20259b7c6bb988 /src/Makefile.bench.include | |
parent | 5fa7b07565d2c7c1edfb9a2f8c1af42d039d99ee (diff) | |
parent | 4b04e32c20b3e00ce30f3555677d9c937ca7482f (diff) |
Merge #8675: Make copyright header lines uniform
4b04e32 [copyright] copyright header style uniform (isle2983)
Diffstat (limited to 'src/Makefile.bench.include')
0 files changed, 0 insertions, 0 deletions