A bit of cleanup in .gitignore.

diff --git a/.gitignore b/.gitignore
index 94cf8fc..67c33e0 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -157,17 +157,8 @@ examples/c/platform-failures/c-platform-failures
 examples/c/platform-properties/c-platform-properties
 examples/c/plugin-hostload/c-plugin-hostload
 examples/c/synchro-semaphore/c-synchro-semaphore
-examples/deprecated/msg/app-masterworker/app-masterworker
-examples/deprecated/msg/cloud-masterworker/cloud-masterworker
-examples/deprecated/msg/dht-kademlia/dht-kademlia
-examples/deprecated/msg/dht-pastry/dht-pastry
 examples/deprecated/msg/mc/bugged2_liveness
-examples/deprecated/msg/mc/bugged3
 examples/deprecated/msg/mc/centralized_mutex
-examples/deprecated/msg/mc/electric_fence
-examples/deprecated/msg/synchro-semaphore/synchro-semaphore
-examples/deprecated/msg/*.pcap
-examples/deprecated/msg/*.tr
 examples/s4u/actor-create/s4u-actor-create
 examples/s4u/actor-daemon/s4u-actor-daemon
 examples/s4u/actor-exiting/s4u-actor-exiting