diff options
| author | Kartik Agaram <vc@akkartik.com> | 2019-08-25 15:04:26 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2019-08-25 15:04:26 -0700 |
| commit | 0d3b3ef04af50bd987979495e7e7ec3317b24b1c (patch) | |
| tree | 812e679560e8c43563a8237eb996e18d81f8f69e /ntranslate | |
| parent | 749d455ac3c6bcad8a09d96bc613aafc2af45292 (diff) | |
| parent | b60d8c920ef988e8058c1e31bd0907643b60cb5d (diff) | |
| download | mu-0d3b3ef04af50bd987979495e7e7ec3317b24b1c.tar.gz | |
Merge branch 'master' into desugar
Diffstat (limited to 'ntranslate')
| -rwxr-xr-x | ntranslate | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ntranslate b/ntranslate index 24d87056..104d2001 100755 --- a/ntranslate +++ b/ntranslate @@ -14,7 +14,7 @@ set -e set -v -./build +ALL=1 ./build echo `cat $* |grep -v '^\s*#\|^\s*$' |wc -l` lines |