diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-09-19 18:54:19 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-09-19 19:13:48 +0200 |
| commit | d8b4b631c5bed8bc2c68198be3be6272f0aa8c51 (patch) | |
| tree | fbd1a9e56f11b7a3edd9cee20b922d66e87bf251 /.gitignore | |
| parent | 047ded0b12f3d8da3fb4220963ae3f68579b1176 (diff) | |
| parent | 783e930e68a312bc7654d833053cceead18dd688 (diff) | |
Merge #8676: Add missing copyright headers
783e930 [copyright] Add missing copyright headers (isle2983)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions