log

age author description
Mon, 17 Aug 2015 15:34:09 -0400 Adam Chlipala Add glyphicon-menu-*
Fri, 26 Dec 2014 08:00:54 -0500 Adam Chlipala More CSS classes
Wed, 24 Dec 2014 12:35:42 -0500 Adam Chlipala Add container-fluid
Wed, 28 May 2014 13:35:28 -0400 Adam Chlipala Shorten .urp code for rewriting class names