| commit | 9e48c809e94254189fca357c16da2e9c4764e930 | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Mon Dec 09 12:32:50 2019 +0100 |
| committer | Ed Merks <ed.merks@gmail.com> | Mon Dec 09 12:32:50 2019 +0100 |
| tree | 4a7e4bbaf1d36e46c727cca34e26c5173e3fce2b | |
| parent | e377bd9bb139a120d7d80f9e32bed3e1ceba31f8 [diff] |
[553862] Splash screen with "IDE" it's not consistently applied https://bugs.eclipse.org/bugs/show_bug.cgi?id=553862