Fork of micro-editor/micro

import: Use `micro-editor/terminal` instead of `zyedidia/terminal` (#3600)


Author Jöran Karl Committer GitHub Date Commit Parent c77ed027
+7 -7
6 changed files
+7 -7
6 changed files