Maximilian Roos 69b3be61a4
Simplify run_block slightly (#2830)
* Simplify run_block slightly

* Add early return on C-c
2020-12-31 12:37:07 +13:00
..
2020-12-31 12:37:07 +13:00
2020-12-18 20:53:49 +13:00