diff options
| author | Damiano Galassi <[email protected]> | 2017-12-07 14:02:37 +0100 |
|---|---|---|
| committer | Damiano Galassi <[email protected]> | 2017-12-07 14:02:37 +0100 |
| commit | 808736004b3481eacc6522abd5cd3a6e7e33009f (patch) | |
| tree | b59ff9e759748f4930354d33c36df7e4426159bf /win | |
| parent | dc62ff318e7e596ec0fc2bd774d21d7e39588a78 (diff) | |
MacGui: remove an old workaround for a forgotten issue with progress bars.
Diffstat (limited to 'win')
0 files changed, 0 insertions, 0 deletions