projects / mirror / dsa-puppet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2a639d0) | patch
Don't set grub_do_nopat or grub_do_extra unless grub_manage is set
authorJulien Cristau <jcristau@debian.org>
Tue, 12 Sep 2017 13:33:11 +0000 (15:33 +0200)
committerJulien Cristau <jcristau@debian.org>
Tue, 12 Sep 2017 13:33:11 +0000 (15:33 +0200)
commit736e39525d7e31ad3808478653ac2cdad039c6c8
tree4050a7db13805b58113ea03d7b7ff9a1d8c931aetree | snapshot
parent2a639d0531ce5dd40e28cd033908fa244a127112commit | diff
Don't set grub_do_nopat or grub_do_extra unless grub_manage is set
modules/grub/manifests/init.pp diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.