configure: handle gmp and polylib "submodules" in a common way
[cloog.git] / autoconf / 
tree8505bcef6e57807422328a8b43b98c96b21a7553
drwxr-xr-x   ..
-rw-r--r-- 44859 Doxyfile.in
-rw-r--r-- 2122 c-ced.ssh