diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-08-30 12:45:01 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-08-30 12:45:01 +0200 |
| commit | aac077774ecc5364a9705f0095ce57bf9db5364d (patch) | |
| tree | a232ef9aaa39b75ab68107e4f8e883d91e9c5e1c /doc | |
| parent | e59b1212daec0462660dc9950e23bdb626a690c6 (diff) | |
| parent | b61374e5bd2ee42bbbab6a61eb2e701755d5d588 (diff) | |
Merge pull request #10774 from djrm/pr_gizmo_fixes
Fixed problem with highlight boxes not updating on translation
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions