diff options
author | Kartik Agaram <vc@akkartik.com> | 2019-08-13 22:28:55 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2019-08-13 22:32:54 -0700 |
commit | dbb380b87f14da2b7bdc1ac94551f95eba5a51ec (patch) | |
tree | 1efc660bcb6bd5d06631d224f12adc13a91631c4 /apps | |
parent | 306812cc3044440987f15ee0ed8dc876e17c369d (diff) | |
download | mu-dbb380b87f14da2b7bdc1ac94551f95eba5a51ec.tar.gz |
add desugar to CI
Diffstat (limited to 'apps')
-rwxr-xr-x | apps/desugar | bin | 34532 -> 35814 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/apps/desugar b/apps/desugar
index d9d4a821..b46bfb76 100755
--- a/apps/desugar
+++ b/apps/desugar
Binary files differ |