From a55b9e2b4ff920a9c929c0fe593906309097e9a2 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 29 Mar 2013 15:33:08 -0400 Subject: [PATCH] There's no reason to name it echo-paper3.rkt any more. --- README.md | 2 +- marketplace/examples/{echo-paper3.rkt => echo-paper.rkt} | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename marketplace/examples/{echo-paper3.rkt => echo-paper.rkt} (100%) diff --git a/README.md b/README.md index be1f623..29dd28b 100644 --- a/README.md +++ b/README.md @@ -12,7 +12,7 @@ single [`marketplace/`](https://github.com/tonyg/marketplace/tree/master/marketplace/). - the echo server example from the paper, in - [`marketplace/examples/echo-paper3.rkt`](https://github.com/tonyg/marketplace/tree/master/marketplace/examples/echo-paper3.rkt). + [`marketplace/examples/echo-paper.rkt`](https://github.com/tonyg/marketplace/tree/master/marketplace/examples/echo-paper.rkt). - the chat server example from the paper, in [`marketplace/examples/chat-paper.rkt`](https://github.com/tonyg/marketplace/tree/master/marketplace/examples/chat-paper.rkt). diff --git a/marketplace/examples/echo-paper3.rkt b/marketplace/examples/echo-paper.rkt similarity index 100% rename from marketplace/examples/echo-paper3.rkt rename to marketplace/examples/echo-paper.rkt