]> git.proxmox.com Git - grub2.git/tree
removed again 2 useless configure options
drwxr-xr-x - debian