log

age author description
Fri, 18 Mar 2016 13:51:03 -0400 Adam Chlipala Some new styles for carouselsdefault tip
Mon, 17 Aug 2015 15:34:09 -0400 Adam Chlipala Add glyphicon-menu-*