diff options
| author | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2016-07-25 21:58:29 +0200 |
|---|---|---|
| committer | Thomas Petazzoni <thomas.petazzoni@free-electrons.com> | 2016-07-25 21:58:29 +0200 |
| commit | 238761e3903093ef93c26fa9e788be0c4b6ffe52 (patch) | |
| tree | 859dc1e03a4538dc58f413b35cf65e3e862cc1ba /boot | |
| parent | cdb10772c7d7dc93c2578bd4109b40932311f861 (diff) | |
grub2: rename patch with the proper naming convention
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'boot')
| -rw-r--r-- | boot/grub2/0001-remove-gets.patch (renamed from boot/grub2/grub2-remove-gets.patch) | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/boot/grub2/grub2-remove-gets.patch b/boot/grub2/0001-remove-gets.patch index 0da71b329..0da71b329 100644 --- a/boot/grub2/grub2-remove-gets.patch +++ b/boot/grub2/0001-remove-gets.patch |