From 1b90c328896ab220a222968f2e38b90c44e615a5 Mon Sep 17 00:00:00 2001 From: suter Date: Fri, 30 Nov 2012 15:38:41 +0100 Subject: [PATCH] hey you, you're supposed to be removed already (did I say that I hate git when it come to rm already?) --- examples/smpi/replay/one_trace | 1 - 1 file changed, 1 deletion(-) delete mode 100644 examples/smpi/replay/one_trace diff --git a/examples/smpi/replay/one_trace b/examples/smpi/replay/one_trace deleted file mode 100644 index 088369c2c4..0000000000 --- a/examples/smpi/replay/one_trace +++ /dev/null @@ -1 +0,0 @@ -replay/actions_with_isend.txt -- 2.20.1