OSDN Git Service

Merge pull request #1026 from partychicken/patch-4
authororzcyand1317 <36555123+orzcyand1317@users.noreply.github.com>
Tue, 5 Mar 2019 13:05:32 +0000 (21:05 +0800)
committerGitHub <noreply@github.com>
Tue, 5 Mar 2019 13:05:32 +0000 (21:05 +0800)
Update construction.md


Trivial merge