OSDN Git Service

Merge pull request #1720 from backwardsEric/distcheck-monk-data-type
authorHourier <66951241+Hourier@users.noreply.github.com>
Sat, 2 Oct 2021 23:29:59 +0000 (08:29 +0900)
committerGitHub <noreply@github.com>
Sat, 2 Oct 2021 23:29:59 +0000 (08:29 +0900)
commit530f66df3e81049b629ed6ae4d18f4c1573609bb
treebfd9f445474b1cc18a69376139fc20faedb6f08d
parentf7d0319e5d58ad87a1e3088f03a3a958786aeb08
parentcc12002f3d210e1a75c002e9ac6a6157d8c5e268
Merge pull request #1720 from backwardsEric/distcheck-monk-data-type

Include player-info/monk-data-type.h in the result of "make dist"