Remove unused file

diff --git a/include/grub/net/disknet.h b/include/grub/net/disknet.h
deleted file mode 100644 (file)
index 59aa2a3..0000000
--- a/include/grub/net/disknet.h
+++ /dev/null
@@ -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 */