# HG changeset patch # User Adam Chlipala # Date 1401298528 14400 # Node ID aec0d732d027e09f8a4883838a3f0f94b4d61cc7 # Parent a3d55948e1acf61ba5c06d820cc92ce0eb55e268 Shorten .urp code for rewriting class names diff -r a3d55948e1ac -r aec0d732d027 bootstrap3.urp --- a/bootstrap3.urp Wed May 28 01:01:30 2014 -0400 +++ b/bootstrap3.urp Wed May 28 13:35:28 2014 -0400 @@ -1,15 +1,4 @@ -rewrite style Bootstrap3/bs3_active active -rewrite style Bootstrap3/bs3_alert alert -rewrite style Bootstrap3/bs3_h1 h1 -rewrite style Bootstrap3/bs3_h2 h2 -rewrite style Bootstrap3/bs3_h3 h3 -rewrite style Bootstrap3/bs3_h4 h4 -rewrite style Bootstrap3/bs3_h5 h5 -rewrite style Bootstrap3/bs3_h6 h6 -rewrite style Bootstrap3/bs3_label label -rewrite style Bootstrap3/bs3_radio radio -rewrite style Bootstrap3/bs3_show show -rewrite style Bootstrap3/bs3_table table +rewrite style Bootstrap3/bs3_* rewrite style Bootstrap3/* [-] bootstrap3 \ No newline at end of file