From f0e99644a7a7a00d4b6514a2fa6405425b4b9f7d Mon Sep 17 00:00:00 2001 From: fyodor Date: Sat, 11 Aug 2007 05:11:08 +0000 Subject: [PATCH] merge soc07 r5077:5080 - Adding 'extrainfo' in the taskbegin/taskend XML elements for the SPM additional info --- docs/nmap.dtd | 2 ++ timing.cc | 8 ++++++-- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/docs/nmap.dtd b/docs/nmap.dtd index 0865d411b..4fadba112 100644 --- a/docs/nmap.dtd +++ b/docs/nmap.dtd @@ -105,6 +105,7 @@ @@ -122,6 +123,7 @@