Raise TypeError if Polyhedron.widen() is called on a non-polyhedral argument

[linpy.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 6e4e70b..32e9e09 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
+*~

 /build/
 /dist/
 /build/
 /dist/

+/linpy.egg-info/

 /MANIFEST
 /MANIFEST

-/pypol.egg-info/

 /venv/
 __pycache__
 /venv/
 __pycache__