Robin Gloster af9f44dd57 grub: fix capitalisation ... Missed this occurence while renaming the option		2017-02-13 14:55:36 +01:00
..
activation	nixos top-level: Add 'dtbs' symlink when kernel uses device trees	2017-02-12 15:47:49 +02:00
boot	grub: fix capitalisation	2017-02-13 14:55:36 +01:00
etc	Merge remote-tracking branch 'upstream/master' into staging	2016-10-02 10:36:47 +03:00