about summary refs log tree commit diff stats
path: root/011run.cc
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2019-08-16 00:28:03 -0700
committerKartik Agaram <vc@akkartik.com>2019-08-16 00:28:44 -0700
commita8adfff398efb277fade0c96276953ce773b80bf (patch)
tree9726a1069aeac637dc50dc5b4d0c38796c665a61 /011run.cc
parent05b95e0aafd208f5f73e48dce905b1b59d8770c1 (diff)
downloadmu-a8adfff398efb277fade0c96276953ce773b80bf.tar.gz
fix a missing test of desugar in CI
Diffstat (limited to '011run.cc')
0 files changed, 0 insertions, 0 deletions