diff options
Diffstat (limited to 'gpxe/src/include/gpxe/shell.h')
| -rw-r--r-- | gpxe/src/include/gpxe/shell.h | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gpxe/src/include/gpxe/shell.h b/gpxe/src/include/gpxe/shell.h deleted file mode 100644 index a65a3443..00000000 --- a/gpxe/src/include/gpxe/shell.h +++ /dev/null @@ -1,14 +0,0 @@ -#ifndef _GPXE_SHELL_H -#define _GPXE_SHELL_H - -/** @file - * - * Minimal command shell - * - */ - -FILE_LICENCE ( GPL2_OR_LATER ); - -extern void shell ( void ); - -#endif /* _GPXE_SHELL_H */ |