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)
fix: update lint option


Trivial merge