Fix setuptools coverage build#181

oscarbenjamin merged 1 commit into

flintlib:masterflintlib/python-flint:masterfrom

oscarbenjamin:pr_fix_setup_pyoscarbenjamin/python-flint:pr_fix_setup_pyCopy head branch name to clipboard