| commit | a878311041c8a11a9e8debbf7d95a2a8da20bb89 | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Sat Jan 11 10:57:33 2020 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Sat Jan 11 10:57:33 2020 +0100 |
| tree | 5a8d4d3b43aa8291566e5aea0b6354c2c40e218c | |
| parent | f13f84237d269479d37d0f7caaa0636c489b6ea9 [diff] |
[559026] Offer an option to refresh a setup file in the installer https://bugs.eclipse.org/bugs/show_bug.cgi?id=559026