diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-09-21 10:30:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-21 10:30:36 +0200 |
| commit | ffec7cf193b72dd54b05acfd09b1dee3defcce48 (patch) | |
| tree | 5ab3b6923047517aedfda43396c8985e9a9dc05f /logo.png | |
| parent | e8a0c5da77bc9d8a1944f5f368d7c414a6c0624a (diff) | |
| parent | 092509cbaddb069998ff2dd266bb7933e9009d99 (diff) | |
Merge pull request #11299 from marcelofg55/fix_seticon_default
Fix setting the default icon briefly with tools=no
Diffstat (limited to 'logo.png')
0 files changed, 0 insertions, 0 deletions