diff options
Diffstat (limited to '')
-rw-r--r-- | debian/grub-extras/disabled/gpxe/src/include/gpxe/settings_ui.h | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/debian/grub-extras/disabled/gpxe/src/include/gpxe/settings_ui.h b/debian/grub-extras/disabled/gpxe/src/include/gpxe/settings_ui.h new file mode 100644 index 0000000..a82d733 --- /dev/null +++ b/debian/grub-extras/disabled/gpxe/src/include/gpxe/settings_ui.h @@ -0,0 +1,16 @@ +#ifndef _GPXE_SETTINGS_UI_H +#define _GPXE_SETTINGS_UI_H + +/** @file + * + * Option configuration console + * + */ + +FILE_LICENCE ( GPL2_OR_LATER ); + +struct settings; + +extern int settings_ui ( struct settings *settings ) __nonnull; + +#endif /* _GPXE_SETTINGS_UI_H */ |