diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-01-08 07:33:26 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-01-08 07:33:26 +0100 |
| commit | ecbc6574fe4adf704997ea599a276aea2d945290 (patch) | |
| tree | 7a0f3733691398fd679d13d26d590b9be95cc862 /tools/docdump | |
| parent | bf5453e42953afd6f70f1ba34ecb9203c5d53d69 (diff) | |
Use better icon by @MarianoGnu
Diffstat (limited to 'tools/docdump')
0 files changed, 0 insertions, 0 deletions