OSDN Git Service

Merge pull request #760 from 24OI/Ir1d-patch-1
authorRan Yi <42791146+i-Yirannn@users.noreply.github.com>
Fri, 16 Nov 2018 03:35:13 +0000 (11:35 +0800)
committerGitHub <noreply@github.com>
Fri, 16 Nov 2018 03:35:13 +0000 (11:35 +0800)
commit7dde18d8f5f58864ba1dd4a1371a7acea41d5c96
treedc1e9b95bd75b2341d200d2ed4a9411daac04ec9
parent10bd5a6658fe84d182c11bdd9aa64d00716eb7be
parent05f6c067b2445b71fb9e2137f0dc68d6b4e7c721
Merge pull request #760 from 24OI/Ir1d-patch-1

fix: update lint option