| commit | c78222a366edf128e4361d32958dc96d0b4d89d8 | [log] [tgz] |
|---|---|---|
| author | Jan Tattermusch <[email protected]> | Thu Feb 04 06:43:13 2016 -0800 |
| committer | Jan Tattermusch <[email protected]> | Thu Feb 04 06:43:13 2016 -0800 |
| tree | 2e35945c37206936e3f1fad318b5659a700b1b60 | |
| parent | eb1d156d74fc4742175d6c143e5747772e44a4bb [diff] | |
| parent | b6159965ec2c9988b28b4ea18891528690f2e4c4 [diff] |
Merge pull request #1210 from jskeet/rename-generatedcodeinfo Rename GeneratedCodeInfo to GeneratedClrTypeInfo