Fork of micro-editor/micro

Deleted duplicated line (#3728)


Author cutelisp Committer GitHub Date Commit Parent 333770bb
-2
1 changed file
-2
1 changed file