Allow the use of --with-ppl without parameter
[cloog-ppl.git] / examples / 
tree18175f03e55be9a4bff36cfa1866eb4302061569
drwxr-xr-x   ..
-rw-r--r-- 2767 README
drwxr-xr-x - example