diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2018-03-15 16:31:57 +0100 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2018-03-15 16:31:57 +0100 |
| commit | c921825a257571953e92ee4717bfb49f7ec6eb12 (patch) | |
| tree | 5ffd59951240b9e5f5d96c345e6ae08a39b3d2f5 /doc/tools | |
| parent | 5370917e88bd9936c34e218c6db9fd82b262d863 (diff) | |
| parent | 35f8d09e2f400c9f0966f5d7c111dc5367b4af52 (diff) | |
Merge PR #6992: Credits for 8.8
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions