remove spurious include of isl/config.h
[isl.git] / include / 
tree26fbec2779fd1612fab9f7936fcca4b1cca3a34c
drwxr-xr-x   ..
drwxr-xr-x - isl