micro
Fork of micro-editor/micro
Star 0
Fork 0
Watch

Use shell job for terminal callback

Fixes #2529

Author Zachary Yedidia Date Commit Parent 3d6b0c6d
+7 -6
3 changed files
Unified Split
+7 -6
3 changed files