Merge pull request #1893 from mmicko/program_prefix
authorMiodrag Milanović <mmicko@gmail.com>
Fri, 10 Apr 2020 14:33:01 +0000 (16:33 +0200)
committerGitHub <noreply@github.com>
Fri, 10 Apr 2020 14:33:01 +0000 (16:33 +0200)
commit93c6c6779861d7b41fae1b87d54790e0a9555b80
tree434835d5d7d28d270cb232299bd6b1dfccbc9014
parent7c06cb615745fce4490c1d5b9dcf48d40fa00445
parentaf7b7b6dc1891923245db4c818cefd6155aafab8
Merge pull request #1893 from mmicko/program_prefix

Support custom PROGRAM_PREFIX