diff --git a/shell/cmdedit.h b/shell/cmdedit.h
deleted file mode 100644
index 7af2f75fb..000000000
--- a/shell/cmdedit.h
+++ /dev/null
@@ -1 +0,0 @@
-/* TO DELETE */