Vladimir 'phcoder' Serbinenko df1e64c98e Define grub_util_is_directory/regular/special_file and ... use OS-dependent versions rather than to rely on stat().		2013-10-15 20:27:58 +02:00
..
console.h	working copy, wo nested packaging	2010-08-17 19:03:22 +05:30
getroot.h	* include/grub/emu/getroot.h (grub_util_find_hurd_root_device): Remove	2013-10-09 07:09:22 +02:00
hostdisk.h	* include/grub/emu/hostdisk.h: Move file operations to	2013-10-15 13:56:10 +02:00
hostfile.h	Define grub_util_is_directory/regular/special_file and	2013-10-15 20:27:58 +02:00
misc.h	Move cpu time retrieval to separate grub_util_get_cpu_time_ms	2013-10-15 13:13:53 +02:00
net.h	Split emunet into platform-dependent and GRUB-binding parts. Keep	2013-10-15 11:55:20 +02:00