Something went wrong. Try again.
Fork of micro-editor/micro
Something went wrong. Try again.
Merge pull request #1125 from nabeelomer/master
F# Configuration
Author Zachary Yedidia Committer GitHub Date (Jun 3, 2018, 9:13 PM UTC) Commit
Copy SHA
Parent efe343b3 efe343b37c56524eb398d5b4abe5964ec0fc709b