Drop: deprecated .dropdown-menu.pull-right styles

dist/css/bootstrap.css

@@ -2555,10 +2555,6 @@ tbody.collapse.in {
   -webkit-box-shadow: 0 6px 12px rgba(0, 0, 0, .175);
           box-shadow: 0 6px 12px rgba(0, 0, 0, .175);
 }
-.dropdown-menu.pull-right {
-  right: 0;
-  left: auto;
-}
 .dropdown-menu .divider {
   height: 1px;
   margin: 11px 0;

docs/dist/css/bootstrap.css

@@ -2555,10 +2555,6 @@ tbody.collapse.in {
   -webkit-box-shadow: 0 6px 12px rgba(0, 0, 0, .175);
           box-shadow: 0 6px 12px rgba(0, 0, 0, .175);
 }
-.dropdown-menu.pull-right {
-  right: 0;
-  left: auto;
-}
 .dropdown-menu .divider {
   height: 1px;
   margin: 11px 0;

less/dropdowns.less

@@ -46,14 +46,6 @@
   box-shadow: 0 6px 12px rgba(0,0,0,.175);
   background-clip: padding-box;
 
-  // Aligns the dropdown menu to right
-  //
-  // Deprecated as of 3.1.0 in favor of `.dropdown-menu-[dir]`
-  &.pull-right {
-    right: 0;
-    left: auto;
-  }
-
   // Dividers (basically an hr) within the dropdown
   .divider {
     .nav-divider(@dropdown-divider-bg);