Merge branch 'version-0.13.0'
[jackhill/guix/guix.git] / gnu / bootloader /
drwxr-xr-x   ..
-rw-r--r-- 4264 extlinux.scm
-rw-r--r-- 16438 grub.scm