CoLearn-Dev
diff --git a/‎examples/protocol_greetings_with_test.rs renamed to ‎examples/protocol_greetings_with_instant_server.rs b/‎examples/protocol_greetings_with_test.rs renamed to ‎examples/protocol_greetings_with_instant_server.rs