From 96466e2b157e6752db6cfb954e859bbe541d96d8 Mon Sep 17 00:00:00 2001 From: Alexander Medvednikov Date: Sun, 31 Jan 2021 15:18:54 +0100 Subject: [PATCH] examples: move websocket example from x/ --- examples/{x => }/websocket/client-server/client.v | 0 examples/{x => }/websocket/client-server/server.v | 0 examples/{x => }/websocket/ping.v | 0 3 files changed, 0 insertions(+), 0 deletions(-) rename examples/{x => }/websocket/client-server/client.v (100%) rename examples/{x => }/websocket/client-server/server.v (100%) rename examples/{x => }/websocket/ping.v (100%) diff --git a/examples/x/websocket/client-server/client.v b/examples/websocket/client-server/client.v similarity index 100% rename from examples/x/websocket/client-server/client.v rename to examples/websocket/client-server/client.v diff --git a/examples/x/websocket/client-server/server.v b/examples/websocket/client-server/server.v similarity index 100% rename from examples/x/websocket/client-server/server.v rename to examples/websocket/client-server/server.v diff --git a/examples/x/websocket/ping.v b/examples/websocket/ping.v similarity index 100% rename from examples/x/websocket/ping.v rename to examples/websocket/ping.v