Skip to content
Commit f2bda59b authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Revert "Update isl, get ready for isl 0.24 (#54)" 

This reverts commit 8406a970.
parent 63966675