diff options
| -rw-r--r-- | manifests/desktop.pp | 6 | ||||
| -rw-r--r-- | manifests/laptop.pp | 6 |
2 files changed, 0 insertions, 12 deletions
diff --git a/manifests/desktop.pp b/manifests/desktop.pp index e7496c2..7efbfaf 100644 --- a/manifests/desktop.pp +++ b/manifests/desktop.pp @@ -44,9 +44,3 @@ class nodo::desktop::webdev inherits nodo::desktop { include database include utils::web } - -class nodo::desktop::dev { - $apt_include_src = true - $apt_use_next_release = false - include nodo::desktop::webdev -} diff --git a/manifests/laptop.pp b/manifests/laptop.pp index 9325598..382279e 100644 --- a/manifests/laptop.pp +++ b/manifests/laptop.pp @@ -61,12 +61,6 @@ class nodo::laptop::webdev inherits nodo::laptop { include utils::web } -class nodo::laptop::dev { - $apt_include_src = true - $apt_use_next_release = false - include nodo::laptop::webdev -} - class nodo::laptop::minimal { $fstab = false $crypttab = false |