only manage grub if we have it
authorPeter Palfrader <peter@palfrader.org>
Mon, 8 Jan 2018 10:49:08 +0000 (11:49 +0100)
committerHéctor Orón Martínez <zumbi@debian.org>
Wed, 31 Jan 2018 17:12:30 +0000 (18:12 +0100)
commit0cd07adba505da1317e5d4c5b5af2e46870015c3
tree7d4a6d19324446561ee02d98f20e37d6ca804062
parent45d92970445c4030718101dfedbdf72be7017e81
only manage grub if we have it
modules/debian_org/lib/facter/software.rb
modules/grub/manifests/init.pp