Lyndon Brown 6ebac9cc5b grub2: fix duplicate live entries ... in tweaking a previous commit to remove some excessive change before submission, i mistakenly identified the part of the sed replacement restored here as being unnecessary to its functionality, but in fact it is. without it the placeholder is not actually removed. the lack of removal of the placeholder meant that you ended up with duplicate copies of the live menu entries. Gbp-Dch: Ignore		2020-05-01 22:02:31 +01:00
..
build	grub2: fix duplicate live entries	2020-05-01 22:02:31 +01:00
build.sh	move auto colouring decision	2020-03-23 08:06:51 +00:00