wok-6.x log grub/stuff/dev_partition.diff

age author description
2009-09-04 Pascal Bellard grub: handle partition in /dev/mapper