Use POLYMAKE_COMMAND variable to locate polymake#138

grahamknockillaree merged 1 commit intomastergap-packages/hap:masterfrom

mh/use-POLYMAKE_COMMANDgap-packages/hap:mh/use-POLYMAKE_COMMANDCopy head branch name to clipboard