twitter/bootstrap — pull request #8620 by saas786 (2013-07-26 12:08:20+00:00)
Title: move things around :)

Moved pager, pagination, popovers, tooltip, progress bars & type
properties to variables.less

@mdo have a look and let me know if there is an issue.