diff options
| author | John Darrington <jmd@gnu.org> | 2016-09-08 14:56:14 +0200 |
|---|---|---|
| committer | John Darrington <jmd@gnu.org> | 2016-09-08 18:08:29 +0200 |
| commit | fdf14c64f1dc7526e84b7e0ce41bf99e5b31c3f8 (patch) | |
| tree | 177daa7c1f29a4d41ac7cc95dcb988a65939d16a /release.nix | |
| parent | 1c6c0ad067b558fcbebd87e8cb51d342d808163e (diff) | |
gnu: Add edit warning to generated grub.cfg files
* gnu/services/grub.scm (grub-configuration-file): Add code to emit warning.
Diffstat (limited to 'release.nix')
0 files changed, 0 insertions, 0 deletions