diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-05-30 00:08:01 -0700 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-05-30 00:08:01 -0700 |
| commit | 057657e583f037fa808834a5f98ca0f902c11584 (patch) | |
| tree | 6916fd9df0c7907a78432f3dd36bf7ee8e9d24d4 | |
| parent | 242a50f2295fc30391027fc5ab59950063e5dd8b (diff) | |
| download | mu-057657e583f037fa808834a5f98ca0f902c11584.tar.gz | |
6442
| -rwxr-xr-x | apps/print-file | bin | 48630 -> 48625 bytes | |||
| -rw-r--r-- | apps/print-file.mu | 1 |
2 files changed, 0 insertions, 1 deletions
diff --git a/apps/print-file b/apps/print-file index 48a12cf3..c9719a45 100755 --- a/apps/print-file +++ b/apps/print-file Binary files differdiff --git a/apps/print-file.mu b/apps/print-file.mu index 29b122a9..c44e09d1 100644 --- a/apps/print-file.mu +++ b/apps/print-file.mu @@ -36,6 +36,5 @@ $main-body: { } } } - flush-stdout exit-status <- copy 0 } |