diff options
| author | Michael Soegtrop | 2018-09-29 12:45:09 +0200 |
|---|---|---|
| committer | Michael Soegtrop | 2018-10-03 23:12:36 +0200 |
| commit | 95ecfc31aee4164add876f57466a5dc12ec2abdc (patch) | |
| tree | 5fdf4c1099f9277ab017bf7efd781955e7cd6265 /dev/tools | |
| parent | 058a6c97a4267e4d6ebe88872bd7b19ad3eb3475 (diff) | |
Fix issue #8321 "Add more useful addons to the Windows Installer"
Implemented by merging addon changes in V8.8.2 (keeping everything on master)
Diffstat (limited to 'dev/tools')
0 files changed, 0 insertions, 0 deletions