log gnu/grub/grub.sh @ 1118:aa713f798f88

age author description
Fri, 20 Sep 2019 21:05:00 +0200 David Demelier vanilla: change shebangs to /bin/sh
Thu, 19 Sep 2019 15:09:24 +0200 David Demelier gnu: move GNU packages to this category base core/grub/grub.sh@09b7b25d1cda