From 970f42805d70ba40b1df5e7bbe37cc8ec87f8672 Mon Sep 17 00:00:00 2001
From: Kranklyboy <kranklyboy1000@gmail.com>
Date: Tue, 8 May 2018 14:17:22 +0200
Subject: [PATCH] Remove unwanted duplicate line

---
 websh.c | 1 -
 1 file changed, 1 deletion(-)

diff --git a/websh.c b/websh.c
index 0085dae..d045f6a 100644
--- a/websh.c
+++ b/websh.c
@@ -48,7 +48,6 @@ static const char *word;
  * @details Global variable for the supplied tag.
  */
 static const char *tag;
-static char *lines[MAX_LINES] = {NULL};
 
 /**
  * @details Global array which saves the supplied linux commands.