From ac4b87e4860c8585f6ea81d1e6fe3fa9223e938d Mon Sep 17 00:00:00 2001
From: Igor <so.important.to.me@gmail.com>
Date: Fri, 14 Mar 2014 12:37:19 +0200
Subject: [PATCH] Delete bordered-pulled.less

---
 less/bordered-pulled.less | 16 ----------------
 1 file changed, 16 deletions(-)
 delete mode 100644 less/bordered-pulled.less

diff --git a/less/bordered-pulled.less b/less/bordered-pulled.less
deleted file mode 100644
index 0c90eb567..000000000
--- a/less/bordered-pulled.less
+++ /dev/null
@@ -1,16 +0,0 @@
-// Bordered & Pulled
-// -------------------------
-
-.@{fa-css-prefix}-border {
-  padding: .2em .25em .15em;
-  border: solid .08em @fa-border-color;
-  border-radius: .1em;
-}
-
-.pull-right { float: right; }
-.pull-left { float: left; }
-
-.@{fa-css-prefix} {
-  &.pull-left { margin-right: .3em; }
-  &.pull-right { margin-left: .3em; }
-}