Browse Source

grub2: rename patch with the proper naming convention

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Thomas Petazzoni 9 years ago
parent
commit
238761e390
1 changed files with 0 additions and 0 deletions
  1. 0 0
      boot/grub2/0001-remove-gets.patch

+ 0 - 0
boot/grub2/grub2-remove-gets.patch → boot/grub2/0001-remove-gets.patch