Mercurial > bootstrap
log bootstrap3.urp
age | author | description |
---|---|---|
Wed, 28 May 2014 13:35:28 -0400 | Adam Chlipala | Shorten .urp code for rewriting class names |
age | author | description |
---|---|---|
Wed, 28 May 2014 13:35:28 -0400 | Adam Chlipala | Shorten .urp code for rewriting class names |