From e7b40571ef59047bdb96aabed9d9dc0dbaf1dc78 Mon Sep 17 00:00:00 2001 From: dmiller Date: Wed, 30 Dec 2020 23:31:35 +0000 Subject: [PATCH] Correct the DTD for hosthint element. Fixes #2217 --- docs/nmap.dtd | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/nmap.dtd b/docs/nmap.dtd index 603e00e95..ba091be2e 100644 --- a/docs/nmap.dtd +++ b/docs/nmap.dtd @@ -151,7 +151,7 @@ > - +