diff options
| author |  kmb <kmb@google.com> | 2017-09-30 02:09:56 +0200 |
|---|---|---|
| committer |  Klaus Aehlig <aehlig@google.com> | 2017-10-02 10:31:59 +0200 |
| commit | 06feddcd3e56ae31cb3eaa8ce648b5c4f3da399c (patch) | |
| tree | 9c37129a4a0aa5ac695d6be1096c16d7edb64061 /src/tools | |
| parent | 3a35efffd8ded3685bf56e897c4d9c7007b8836d (diff) | |
Add proto to encode desugaring metadata
RELNOTES: none
PiperOrigin-RevId: 170553034
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions