OSDN Git Service

Merge pull request #3257 from backwardsEric/make-dist-misc-txt