diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-06-26 12:12:16 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-26 12:12:16 +0200 |
| commit | cb8d95dd4bc16fa014af7446abf7855255a7bf15 (patch) | |
| tree | 759ad36cb3d5afaa60cfc17586f04fe4fa4ff2a0 /doc/classes/Area.xml | |
| parent | 773b66dfd3b68ae0c3fbb1fbdd8b326efb8dc3e6 (diff) | |
| parent | 05b67514a697b6dfb18b6c3f227aa622b32bb2eb (diff) | |
Merge pull request #24288 from ttencate/update_spinner_23738
Make visibility of update spinner editor-wide, hidden by default
Diffstat (limited to 'doc/classes/Area.xml')
0 files changed, 0 insertions, 0 deletions