Remove unused file
This commit is contained in:
parent
31b5172bbd
commit
8db3b0eca9
1 changed files with 0 additions and 5 deletions
|
@ -1,5 +0,0 @@
|
|||
#ifndef GRUB_DISKNET_HEADER
|
||||
#define GRUB_DISKNET_HEADER 1
|
||||
void grub_disknet_init(void);
|
||||
void grub_disknet_fini(void);
|
||||
#endif /* ! GRUB_NET_HEADER */
|
Loading…
Reference in a new issue