cmd · micro · Tangled

Fork of micro-editor/micro

1 folder

Jöran Karl · micro: Run plugin's `deinit()` on `exit()` · 1mo ago

micro: Run plugin's `deinit()` on `exit()`