# HG changeset patch
# User Adam Chlipala <adam@chlipala.net>
# Date 1439840049 14400
# Node ID bbadc88de80d299ec3057569017c875fee07a574
# Parent  9348899347236465c376257c986a8f6ef8ee836a
Add glyphicon-menu-*

diff -r 934889934723 -r bbadc88de80d bootstrap3.ur
--- a/bootstrap3.ur	Fri Dec 26 08:00:54 2014 -0500
+++ b/bootstrap3.ur	Mon Aug 17 15:34:09 2015 -0400
@@ -417,6 +417,10 @@
 style glyphicon_wrench
 style glyphicon_zoom_in
 style glyphicon_zoom_out
+style glyphicon_menu_left
+style glyphicon_menu_right
+style glyphicon_menu_up
+style glyphicon_menu_down
 style bs3_h1
 style bs3_h2
 style bs3_h3