diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-09 14:06:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-09 14:06:59 +0200 |
| commit | fb856e532e4c7a4fb7a61c1e9431bc664a77dbfc (patch) | |
| tree | 83f89729b1d1b54de13c1443c9e82fb164fa6202 /tools/dist | |
| parent | c16c621c97f6abd443a751dfb493104575770011 (diff) | |
| parent | 4527fbcfa11c8e5fe618ce862d641c63b0204301 (diff) | |
Merge pull request #6673 from J08nY/issue-update-spinner
Fix #6653, add an option to stop the update spinner from spinning
Diffstat (limited to 'tools/dist')
0 files changed, 0 insertions, 0 deletions