diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-01-11 08:53:35 +0100 |
|---|---|---|
| committer | Rémi Verschelde <remi@verschelde.fr> | 2016-01-11 08:53:35 +0100 |
| commit | a8a09f6180399698fbc468f7dcae3da14310e175 (patch) | |
| tree | 9fb2e1e5abcc0e965811a057f84a00a8f5f762d3 /tools/docdump | |
| parent | 373af4f6206d1c08aca9491da0c91c4c1fab7472 (diff) | |
| parent | 21b5e9eef47e63201500d6664b01e7766edd48af (diff) | |
Merge pull request #3302 from MarianoGnu/bug_fixing2
Allow to paste resources in inspector when text_hint indicates multip…
Diffstat (limited to 'tools/docdump')
0 files changed, 0 insertions, 0 deletions