| commit | be50d3efb0cf2b516c02eee2cbd6aba75b0a3b97 | [log] [tgz] |
|---|---|---|
| author | Tony Mack <tmack@paris.CS.Princeton.EDU> | Tue May 07 21:37:21 2013 -0400 |
| committer | Tony Mack <tmack@paris.CS.Princeton.EDU> | Tue May 07 21:37:21 2013 -0400 |
| tree | 1c6133fed7ce6b28990d2275a812a6a9f73460f9 | |
| parent | f2720e3247359e9d23ef92221507f7c4e93ca359 [diff] |
adjust unicode name