diff options
| -rw-r--r-- | repos/extra/grub/.files | 5 |
1 files changed, 5 insertions, 0 deletions
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 |