Index of /repos/ports/latest/devel/gnu-efi/files

 NameLast modifiedSizeDescription
 Parent Directory  -  
 patch-Make.defaults2019-10-29 18:54 1.2K 
 patch-Makefile2016-06-22 10:51 227  
 patch-gnuefi-Makefile2016-06-22 10:51 280