Remove deprecated ovh1

diff --git a/personal_infra/puppet/site/ovh1.pdp7.net.pp b/personal_infra/puppet/site/ovh1.pdp7.net.pp
deleted file mode 100644 (file)
index 7c82024..0000000
--- a/personal_infra/puppet/site/ovh1.pdp7.net.pp
+++ /dev/null
@@ -1,4 +0,0 @@
-node 'ovh1.pdp7.net' {
-  class {'dns_dhcp':}
-  class {'freeipa::dnsmasq':}
-}