twbs/bootstrap — pull request #9825 by wangsai (2013-08-19 06:51:55+00:00)
Title: add .border-radius() mixin, and change all simple border-radis attributes  to use the mixin.

add .border-radius() mixin, and change all simple border-radis attributes to use the mixin.

It will make customize simple.