tree 0703d662fc6aca7fa75f7aa6251415984597deaf
parent b46bebf5184b9a496eb49444e0d7e2e56514b2ab
author Jack Jansen <jack.jansen@cwi.nl> 1048507944 +0000
committer Jack Jansen <jack.jansen@cwi.nl> 1048507944 +0000
HG:extra convert_revision:svn%3A6015fed2-1504-0410-9fe1-9d1591cc4771/python/branches/legacy-trunk%4031960

Allow floating point values in ProgressBar.