diff options
author | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-12-13 21:45:58 -0300 |
---|---|---|
committer | André Fabian Silva Delgado <emulatorman@parabola.nu> | 2016-12-13 21:45:58 -0300 |
commit | 99d77c285567f0ed1ca938ce8627d8666ca7189b (patch) | |
tree | 736246d72d6d94dde85b8b426ba9f2c41290738a /libre/grub-git/grub-10_linux-20_linux_xen-detect-udoo-devicetree-file.patch | |
parent | 67d071727962f6dc0624c3417df371d17f1e0668 (diff) |
linux-libre-audit: remove obsolete patch
Diffstat (limited to 'libre/grub-git/grub-10_linux-20_linux_xen-detect-udoo-devicetree-file.patch')
0 files changed, 0 insertions, 0 deletions