diff options
Diffstat (limited to 'gpxe/src/include/gpxe/shell_banner.h')
| -rw-r--r-- | gpxe/src/include/gpxe/shell_banner.h | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/gpxe/src/include/gpxe/shell_banner.h b/gpxe/src/include/gpxe/shell_banner.h deleted file mode 100644 index 28482be8..00000000 --- a/gpxe/src/include/gpxe/shell_banner.h +++ /dev/null @@ -1,14 +0,0 @@ -#ifndef _GPXE_SHELL_BANNER_H -#define _GPXE_SHELL_BANNER_H - -/** @file - * - * Shell startup banner - * - */ - -FILE_LICENCE ( GPL2_OR_LATER ); - -extern int shell_banner ( void ); - -#endif /* _GPXE_SHELL_BANNER_H */ |