diff options
| author | Jonas Schievink <[email protected]> | 2020-11-02 17:48:19 +0000 |
|---|---|---|
| committer | Jonas Schievink <[email protected]> | 2020-11-02 17:49:54 +0000 |
| commit | 285960aa6ba1128b3e0658934f405dde81ce5f56 (patch) | |
| tree | c23e46331017909d5d8125142db17a1802952db3 /editors/code/.gitignore | |
| parent | 2bd26e6afcdd7a75e1256987e5e3b460451dfff4 (diff) | |
Fix coalescing of prime_caches updates
The previous implementation could try to create a progress bar when one
was already registered
Diffstat (limited to 'editors/code/.gitignore')
0 files changed, 0 insertions, 0 deletions