cleanups in .gitignore files

- re-kill two files that got re-added when merging with github
- ignore java compiled files

diff --git a/.gitignore b/.gitignore
index a028368..0b7c9af 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -11,6 +11,7 @@
 *.patch
 *.plist
 *.trace
 *.patch
 *.plist
 *.trace

+*.class

 
 ################################################
 ### Maintainer mode
 
 ################################################
 ### Maintainer mode

diff --git a/examples/msg/mc/chord/.gitignore b/examples/msg/mc/chord/.gitignore
deleted file mode 100644 (file)
index 19cc69b..0000000
--- 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 (file)
index 87f4d46..0000000
--- a/examples/msg/mc/test/.gitignore
+++ /dev/null
@@ -1,5 +0,0 @@
-snapshot_comparison1
-snapshot_comparison2
-snapshot_comparison3
-snapshot_comparison4
-snapshot_comparison5