Don't use addons in GRUB if NO_ADDONS is set
authorKrisztian VASAS <iron@ironiq.hu>
Wed, 18 Jun 2014 10:20:43 +0000 (12:20 +0200)
committerMichael Prokop <mika@grml.org>
Thu, 3 Jul 2014 11:12:18 +0000 (13:12 +0200)

No differences found