From 417361f8b794ffe433f1400e043c6bd6e9778ffc Mon Sep 17 00:00:00 2001
From: Francis Rowe <info@gluglug.org.uk>
Date: Sat, 02 Jan 2016 11:59:41 -0500
Subject: grub.cfg: eliminate use of * wildcard

This causes huge boot delays, because GRUB is extremely slow at
enumerating the list of available devices/partitions.
---
(limited to 'resources/libreboot/config/grub/x200_8mb')

--
cgit v0.9.1