OSDN Git Service

Merge pull request #3257 from backwardsEric/make-dist-misc-txt
authorHourier <66951241+Hourier@users.noreply.github.com>
Wed, 3 May 2023 13:25:46 +0000 (22:25 +0900)
committerGitHub <noreply@github.com>
Wed, 3 May 2023 13:25:46 +0000 (22:25 +0900)
Remove reference to misc.txt


Trivial merge