Filename: /var///lib/dpkg//info//grub-common.conffiles

/etc/default/grub.d/init-select.cfg /etc/grub.d/00_header /etc/grub.d/05_debian_theme /etc/grub.d/10_linux /etc/grub.d/20_linux_xen /etc/grub.d/30_os-prober /etc/grub.d/30_uefi-firmware /etc/grub.d/40_custom /etc/grub.d/41_custom /etc/grub.d/README

./Ninja\.