From 2a81801052307ada5cb703000e9a292a437d72e7 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Fri, 1 Feb 2013 11:14:59 +0100 Subject: [PATCH] Consolidate .gitignore files. --- .gitignore | 10 +++++----- examples/msg/mc/chord/.gitignore | 1 - examples/msg/mc/test/.gitignore | 5 ----- 3 files changed, 5 insertions(+), 11 deletions(-) delete mode 100644 examples/msg/mc/chord/.gitignore delete mode 100644 examples/msg/mc/test/.gitignore diff --git a/.gitignore b/.gitignore index b60eef05d2..a028368e18 100644 --- a/.gitignore +++ b/.gitignore @@ -148,11 +148,11 @@ examples/msg/mc/bugged1_while_liveness examples/msg/mc/centralized_liveness_deadlock examples/msg/mc/test/test_heap_comparison examples/msg/mc/chord_liveness -examples/msg/mc/test/snapshot_comparison_liveness1 -examples/msg/mc/test/snapshot_comparison_liveness2 -examples/msg/mc/test/snapshot_comparison_liveness3 -examples/msg/mc/test/snapshot_comparison_liveness4 -examples/msg/mc/test/snapshot_comparison_liveness5 +examples/msg/mc/test/snapshot_comparison1 +examples/msg/mc/test/snapshot_comparison2 +examples/msg/mc/test/snapshot_comparison3 +examples/msg/mc/test/snapshot_comparison4 +examples/msg/mc/test/snapshot_comparison5 examples/msg/chainsend/chainsend examples/msg/chord/chord examples/msg/chord/chord_stateful diff --git a/examples/msg/mc/chord/.gitignore b/examples/msg/mc/chord/.gitignore deleted file mode 100644 index 19cc69bcfd..0000000000 --- a/examples/msg/mc/chord/.gitignore +++ /dev/null @@ -1 +0,0 @@ -chord_liveness \ No newline at end of file diff --git a/examples/msg/mc/test/.gitignore b/examples/msg/mc/test/.gitignore deleted file mode 100644 index 87f4d46f58..0000000000 --- a/examples/msg/mc/test/.gitignore +++ /dev/null @@ -1,5 +0,0 @@ -snapshot_comparison1 -snapshot_comparison2 -snapshot_comparison3 -snapshot_comparison4 -snapshot_comparison5 -- 2.20.1