]> git.lizzy.rs Git - micro.git/commit
Merge pull request #883 from onodera-punpun/lint
authorZachary Yedidia <zyedidia@gmail.com>
Sun, 15 Oct 2017 19:30:52 +0000 (15:30 -0400)
committerGitHub <noreply@github.com>
Sun, 15 Oct 2017 19:30:52 +0000 (15:30 -0400)
commit955e8ffb08cdc54dd269e6fccdfc4e7b1630ce91
tree6b408948efd8b650b2eb426ec372286046b7b609
parentb87a74711ed8957378b79395810a6c5f576e834c
parentf2006f592ad10ae1fbe5d212aff08087e4a7b3b5
Merge pull request #883 from onodera-punpun/lint

alphabetically order linters, add shell linter