diff options
Diffstat (limited to 'test/ccured_olden/power/.cvsignore')
-rw-r--r-- | test/ccured_olden/power/.cvsignore | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/test/ccured_olden/power/.cvsignore b/test/ccured_olden/power/.cvsignore deleted file mode 100644 index c4eadcc3..00000000 --- a/test/ccured_olden/power/.cvsignore +++ /dev/null @@ -1,21 +0,0 @@ -*.i -*_all*.c -*cil.c -*box.c -code -data.in -data.out -*.origi -*_ppp.c -power.cil -power.*box -*infer.c -changes.out -allcfiles -ope.m -*cured.c -*.optim.c -*_comb.c -*.exe_comb.browser -changes -output |