OSDN Git Service

Merge pull request #819 from 24OI/Ir1d-patch-1
authorabc1763613206 <30773956+abc1763613206@users.noreply.github.com>
Sat, 1 Dec 2018 17:21:23 +0000 (01:21 +0800)
committerGitHub <noreply@github.com>
Sat, 1 Dec 2018 17:21:23 +0000 (01:21 +0800)
minor update on docs


Trivial merge