From 730bc9c72f7f20dadd61b14d3e2200a01cd03527 Mon Sep 17 00:00:00 2001
From: Derek Myers <arcticpro@gmail.com>
Date: Fri, 30 Sep 2011 23:26:31 -0500
Subject: [PATCH] Added rounded borders for IE

---
 lib/mixins.less | 1 +
 1 file changed, 1 insertion(+)

diff --git a/lib/mixins.less b/lib/mixins.less
index ca7893dafea0..35dd3ca015ee 100644
--- a/lib/mixins.less
+++ b/lib/mixins.less
@@ -100,6 +100,7 @@
 .border-radius(@radius: 5px) {
   -webkit-border-radius: @radius;
      -moz-border-radius: @radius;
+      -ms-border-radius: @radius;
           border-radius: @radius;
 }