Remove legacy polymake interfacing code#136

grahamknockillaree merged 1 commit intomastergap-packages/hap:masterfrom

mh/remove-legacy-polymake-codegap-packages/hap:mh/remove-legacy-polymake-codeCopy head branch name to clipboard