remove ppl vs polylib check.
[cloog-ppl.git] / include / 
tree9d896ddc55c4fdd84a455a6f4eca537c6b96a862
drwxr-xr-x   ..
drwxr-xr-x - cloog