Mercurial > bootstrap
log
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 |