diff options
| author | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-12 13:53:26 (GMT) |
|---|---|---|
| committer | Marco Pesenti Gritti <marco@localhost.localdomain> | 2006-10-12 13:53:26 (GMT) |
| commit | fce6d1482c8ad41c06e872c153a1822555d28b32 (patch) | |
| tree | 1cc499c8f3a8f5b0ea53ff6a8f9141091f1576b5 /.gitignore | |
| parent | 3cfa9c40bd2d79e740cd511c2f23054a76917bfb (diff) | |
Redraw when progress changes
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions