diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2021-04-21 20:06:46 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2021-04-21 20:06:46 -0700 |
| commit | bcd37c381a6934bc73b192ef880cde0e3283d3c4 (patch) | |
| tree | 48d9d4ad5939a4e5399787fd1656129922fefaad /shell/evaluate.mu | |
| parent | bc4b6021deacced2046f9a4c1ef161a3b0ab4bd2 (diff) | |
| download | mu-bcd37c381a6934bc73b192ef880cde0e3283d3c4.tar.gz | |
clear old output when new run is in progress
I'm currently doing this extremely naively/slowly/uglily. Not a bottleneck.
Diffstat (limited to 'shell/evaluate.mu')
0 files changed, 0 insertions, 0 deletions