GRUB2-manager-开源

【文件属性】：

文件名称：GRUB2-manager-开源

文件大小：90KB

文件格式：GLADE

更新时间：2024-07-25 15:13:31

开源软件

用于自定义 GRUB 的 GUI。