diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-04 10:30:50 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-04 10:30:50 +0200 |
| commit | 1ddb61025562fc1dfde2edcf4cd5542d11414566 (patch) | |
| tree | 57ad6a46fa2215e4f734c3778f8ceb5cbe92b005 /modules/mono/glue/Managed/Managed.csproj | |
| parent | 14d1cfd0daf6db8fdffc0e57540619eff81ac240 (diff) | |
| parent | 1327e04fd326f8cfa53de5e6383f4795e3be7ed6 (diff) | |
Merge pull request #30300 from Calinou/remove-unused-default-theme-icons
Remove unused icons in the default theme
Diffstat (limited to 'modules/mono/glue/Managed/Managed.csproj')
0 files changed, 0 insertions, 0 deletions