Remove some files left in builddir after make clean
[cloog-ppl.git] / source / ppl / 
treec9f72b9137ae830bbfdbc460bcba7a6ae850d99d
drwxr-xr-x   ..
-rw-r--r-- 9911 checking.c
-rw-r--r-- 50868 clast.c
-rw-r--r-- 97619 domain.c
-rw-r--r-- 22126 matrix.c
-rw-r--r-- 0 matrix.h