From 03f7f1bbc7246127f763df067382b0c8530454fe Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 3 Feb 2013 00:31:45 +0100 Subject: [PATCH] cleanups in .gitignore files - re-kill two files that got re-added when merging with github - ignore java compiled files --- .gitignore | 1 + examples/msg/mc/chord/.gitignore | 1 - examples/msg/mc/test/.gitignore | 5 ----- 3 files changed, 1 insertion(+), 6 deletions(-) delete mode 100644 examples/msg/mc/chord/.gitignore delete mode 100644 examples/msg/mc/test/.gitignore diff --git a/.gitignore b/.gitignore index a028368e18..0b7c9afb81 100644 --- a/.gitignore +++ b/.gitignore @@ -11,6 +11,7 @@ *.patch *.plist *.trace +*.class ################################################ ### Maintainer mode 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