From 75b0f8ad70c6633b31ae0681ed02f75b5457b164 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Mattias=20Andr=C3=A9e?= Date: Wed, 15 Jan 2014 00:56:00 +0100 Subject: [PATCH] move fsm.pony into a directory in /extras MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- fsm.pony => extras/non-ponies/fsm.pony | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename fsm.pony => extras/non-ponies/fsm.pony (100%) diff --git a/fsm.pony b/extras/non-ponies/fsm.pony similarity index 100% rename from fsm.pony rename to extras/non-ponies/fsm.pony