diff options
author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-09-01 10:26:36 +0200 |
---|---|---|
committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-09-01 10:26:48 +0200 |
commit | 01113f7b434f0e7a374449a289b3da398bbe4d2c (patch) | |
tree | e964e1d098193098296391a736988065dce4b1f2 /src/script.h | |
parent | 2c995de4cd2221a1c98dba2aab8c7dfd6f661213 (diff) | |
parent | 4d04492bf217bb5466135f61f89eac835caac321 (diff) |
Merge pull request #4780
4d04492 add missing copyright headers (Philip Kaufmann)
Diffstat (limited to 'src/script.h')
0 files changed, 0 insertions, 0 deletions