899538a Add -polymake patch to fix polymake plugin.

Authored and Committed by jjames 4 years ago
    Add -polymake patch to fix polymake plugin.
    
        
file modified
+8 -2