Index of /debian13/remove/debian/syslinux-6.03/gnu-efi/gnu-efi-3.0/lib/ia32

	Name	Last modified	Size	Description
	Parent Directory		-
	efi_stub.S	2014-02-13 19:05	50
	initplat.c	2014-02-13 19:05	254
	math.c	2014-02-13 19:05	3.3K