Add method Domain.isbounded()

[linpy.git] / pypol / .gitignore

diff --git a/pypol/.gitignore b/pypol/.gitignore
index 7951d19..fd69600 100644 (file)
--- a/pypol/.gitignore
+++ b/pypol/.gitignore
@@ -1 +1 @@
-/_isl.*.so
+/_islhelper.*.so