?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
isl_space_flatten_domain: rename "dim" argument to "space"
[isl.git] / autogen.sh
blob68f4a174b46edae62109464fab50034272627121
1 #!/bin/sh
2 autoreconf -i
Integer set library