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/config | |
| parent | 2c995de4cd2221a1c98dba2aab8c7dfd6f661213 (diff) | |
| parent | 4d04492bf217bb5466135f61f89eac835caac321 (diff) | |
Merge pull request #4780
4d04492 add missing copyright headers (Philip Kaufmann)
Diffstat (limited to 'src/config')
0 files changed, 0 insertions, 0 deletions