From b769fa86d890d666a017b78dc4300a7ffdcfd44c Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Mon, 28 Oct 2019 09:35:18 +0100 Subject: [PATCH] remove generated file from repository --- src/plugins/markdown-report/tests/ptests_config | 7 ------- 1 file changed, 7 deletions(-) delete mode 100644 src/plugins/markdown-report/tests/ptests_config diff --git a/src/plugins/markdown-report/tests/ptests_config b/src/plugins/markdown-report/tests/ptests_config deleted file mode 100644 index 544cee504b6..00000000000 --- 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= -- GitLab