From f4f033a09c3b9efed0989d93794b9d442f3cce22 Mon Sep 17 00:00:00 2001 From: Christophe Fergeau Date: Wed, 11 Dec 2013 16:45:59 +0100 Subject: [PATCH] Remove empty red_time.c --- server/red_time.c | 1 - 1 file changed, 1 deletion(-) delete mode 100644 server/red_time.c diff --git a/server/red_time.c b/server/red_time.c deleted file mode 100644 index 8b137891..00000000 --- a/server/red_time.c +++ /dev/null @@ -1 +0,0 @@ -