Merge pull request #5704 from ArneSuppe/dupDistDirFix
authorPrzemysław Dolata <snowball91b@gmail.com>
Thu, 2 Nov 2017 11:46:05 +0000 (12:46 +0100)
committerGitHub <noreply@github.com>
Thu, 2 Nov 2017 11:46:05 +0000 (12:46 +0100)
Fixed bug where make distribute duplicates python files


Trivial merge