From 95f148cdfa509a961a5610ca274e29ba238561e3 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 24 Feb 2008 20:21:41 +0000 Subject: [PATCH] Remove dnsKerberos, at mwolson's request --- lib/easy_domain.dtl | 2 -- 1 file changed, 2 deletions(-) diff --git a/lib/easy_domain.dtl b/lib/easy_domain.dtl index 1d845d5..ee223f2 100644 --- a/lib/easy_domain.dtl +++ b/lib/easy_domain.dtl @@ -82,5 +82,3 @@ val dnsDefault = \to -> dns (dnsA default to); val dnsDefaultv6 = \to -> dns (dnsAAAA default to); val dnsText = \from -> \to -> dns (dnsTXT (srv_literal from) to); val dnsDefaultText = \to -> dns (dnsTXT srv_default to); - -val dnsKerberos = \to -> dns (dnsTXT (srv_literal "_kerberos") to); -- 2.20.1