debian/grub-extras/disabled/gpxe/src/include/gpxe/settings_ui.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
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 */