commit | ab9a7ce185eb0e545c13100f0ae8a5cac6947a71 | [log] [tgz] |
---|---|---|
author | Doug Gregor <dgregor@apple.com> | Sat Nov 12 07:29:10 2016 -0800 |
committer | GitHub <noreply@github.com> | Sat Nov 12 07:29:10 2016 -0800 |
tree | 1feee6ab00c3c745495521f39f4ac7603c2ed181 | |
parent | 4bebb37b4d4957dd73272d1e74f8e23a1fd3d29f [diff] | |
parent | 53db0871863176cf9b384c1a5cbed254f0d669d2 [diff] |
Merge pull request #42 from DougGregor/api-notes-change-types-3_1 [API Notes] Add support for overriding the types of declarations via API notes.