Something went wrong. Try again.
Fork of micro-editor/micro
Something went wrong. Try again.
Merge pull request #883 from onodera-punpun/lint
alphabetically order linters, add shell linter
Author Zachary Yedidia Committer GitHub Date (Oct 15, 2017, 7:30 PM UTC) Commit
Copy SHA
Parent b87a7471 b87a74711ed8957378b79395810a6c5f576e834c