tree af17ee0776b9537071b467eb3218bdbcd095d540
parent 216e77cb7cb8def74533269114fe2f47270ab13b
author Rico Wind <ricow@google.com> 1598358797 +0200
committer Rico Wind <ricow@google.com> 1598363974 +0000

Don't polute the workspace with desugar files

Change-Id: I126da5477d544e07b90d5e94272a56b343ca0a92