From e7a7b1489fdeb60658e1c544e7dd60648e1753b1 Mon Sep 17 00:00:00 2001 From: emmett1 Date: Sun, 6 Oct 2024 23:18:45 +0800 Subject: grub: updated .files --- repos/extra/grub/.files | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/repos/extra/grub/.files b/repos/extra/grub/.files index 85c88da6..2119016f 100644 --- a/repos/extra/grub/.files +++ b/repos/extra/grub/.files @@ -1180,7 +1180,12 @@ drwxr-xr-x root/root usr/share/fonts/ drwxr-xr-x root/root usr/share/fonts/unifont/ -rw-r--r-- root/root usr/share/fonts/unifont/unifont.pcf drwxr-xr-x root/root usr/share/grub/ +-rw-r--r-- root/root usr/share/grub/ascii.h +-rw-r--r-- root/root usr/share/grub/ascii.pf2 +-rw-r--r-- root/root usr/share/grub/euro.pf2 -rw-r--r-- root/root usr/share/grub/grub-mkconfig_lib +-rw-r--r-- root/root usr/share/grub/unicode.pf2 +-rw-r--r-- root/root usr/share/grub/widthspec.h drwxr-xr-x root/root usr/share/info/ -rw-r--r-- root/root usr/share/info/grub-dev.info.gz -rw-r--r-- root/root usr/share/info/grub.info-1.gz -- cgit v1.2.3