diff --git a/src/plugins/markdown-report/tests/ptests_config b/src/plugins/markdown-report/tests/ptests_config deleted file mode 100644 index 544cee504b6490941ba251948d772c26e5130ea3..0000000000000000000000000000000000000000 --- a/src/plugins/markdown-report/tests/ptests_config +++ /dev/null @@ -1,7 +0,0 @@ -DEFAULT_SUITES= eva -TOPLEVEL_PATH=/Users/correnson/Frama-C/trunk/bin/toplevel.opt -FRAMAC_SHARE=/Users/correnson/Frama-C/trunk/share -FRAMAC_LIB=/Users/correnson/Frama-C/trunk/lib/fc -FRAMAC_PLUGIN=/Users/correnson/Frama-C/trunk/lib/plugins -FRAMAC_PLUGIN_GUI=/Users/correnson/Frama-C/trunk/lib/plugins/gui -OCAMLRUNPARAM=