diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-02-14 16:41:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-02-14 16:41:25 +0100 |
| commit | 2eb7a321ba321065c135f799701efaf735142593 (patch) | |
| tree | c8671ce371de7aa460af39e6d6daabe9fe2e08e5 /core/os | |
| parent | 4e111483aef47a876fafe4d9add36341e554bfa8 (diff) | |
| parent | 484f664331a0aa45f0b6bbee46a9d1d631edf23e (diff) | |
Merge pull request #15574 from paulloz/mono-build-project-button
Change 'Build Project' button style in Mono panel
Diffstat (limited to 'core/os')
0 files changed, 0 insertions, 0 deletions