diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-12 14:35:42 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-12 14:35:42 (GMT) |
| commit | 5101efb75bed09e2f7fcbe2a5db9ddf947fabef1 (patch) | |
| tree | b8e4a77ce2b1829cdce236452fdce4fc92876b94 /.gitignore | |
| parent | 3a3fe02b6198d08b944c4b69a55b240e1e1ab813 (diff) | |
Avoid flickering of the progress bar.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions