Pierre Labastie 85580446b2 Remove spaces at the end of lines ... I know it is somewhat useless, but I don't like them for two reasons: first they cannot be seen, and I do not like things I cannot see. Second, git highlights them, and this is disturbing...		2021-09-06 19:42:49 +02:00
..
dummy.xml	remove hardcoded $Date: $	2021-05-10 23:53:59 +08:00
efibootmgr.xml	tag grub-efi and dependencies	2021-08-26 20:23:42 +08:00
efivar.xml	tag grub-efi and dependencies	2021-08-26 20:23:42 +08:00
grub-efi.xml	tag grub-efi and dependencies	2021-08-26 20:23:42 +08:00
grub-setup.xml	Remove spaces at the end of lines	2021-09-06 19:42:49 +02:00