1 files changed, 0 insertions, 14 deletions

diff --git a/src/shell.h b/src/shell.h
deleted file mode 100644
index 7e4f785..0000000
--- a/src/shell.h
+++ /dev/null
@@ -1,14 +0,0 @@
-#ifndef SHELL_H
-#define SHELL_H
-
-#include "commands.h"
-
-#define MAXLINELEN          10000
-#define MAXTOKENLEN         255
-#define MAXNTOKENS          255
-
-bool        checkfiles();
-void        exec_args(int c, char **v);
-void        launch(bool batchmode);
-
-#endif