diff options
| author | Maxime Dénès | 2017-06-23 16:56:46 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-23 16:56:46 +0200 |
| commit | f88f7136d76dd328b684b9461d0c3deac276c445 (patch) | |
| tree | ef1b3b70c21b05fe1fc1e61afdc3e7237029381f /dev | |
| parent | 4a4a11ef8eec3adf11a474579ca5ab54eb22af93 (diff) | |
| parent | 5ddad92dfc81b0333990dc1956544e924a14600a (diff) | |
Merge PR#813: Fix plugin warnings
Diffstat (limited to 'dev')
0 files changed, 0 insertions, 0 deletions