gwtbootstrap/gwt-bootstrap — pull request #480 by JulienNexonia (2014-01-28 19:12:49+00:00)
Title: Update percent to double instead of int in Progress Bar

Update percent to double instead of int in Progress Bar