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

Optimize search

Fixes #722

Author Zachary Yedidia Date Commit Parent 252def5b
+83 -50
3 changed files
Unified Split
+83 -50
3 changed files