POLYMAKE_PATH is not defined or used anymore#140

grahamknockillaree merged 1 commit intomastergap-packages/hap:masterfrom

mh/POLYMAKE_PATHgap-packages/hap:mh/POLYMAKE_PATHCopy head branch name to clipboard