jnqnfe 958251da67 binary_iso: remove duplicate copying of grub binaries ... these files are already copied into place in the binary_grub-pc script. Gbp-Dch: Short		2020-04-23 10:56:51 +02:00
..
build	binary_iso: remove duplicate copying of grub binaries	2020-04-23 10:56:51 +02:00
build.sh	move auto colouring decision	2020-03-23 08:06:51 +00:00