factor/extra/dns
Eduardo Cavazos 73eff2b190 dns.server: Refine fill-authority and fill-additional 2008-06-12 22:51:53 -05:00
..
cache dns.cache: minor removal 2008-05-31 08:07:53 -05:00
forwarding dns.forwarding: minor update 2008-06-10 09:06:02 -05:00
misc dns.server: Zone words. fill-authority. fill-additional. 2008-06-12 01:49:41 -05:00
recursive dns.recursive: Try out an optimized name->ip/server 2008-05-29 05:17:55 -05:00
resolver dns.resolver: cache-message moved to dns. Also some minor cleanups. 2008-05-31 07:42:38 -05:00
server dns.server: Refine fill-authority and fill-additional 2008-06-12 22:51:53 -05:00
stub dns.stub: A stub resolver 2008-05-31 07:29:54 -05:00
util dns.server: Zone words. fill-authority. fill-additional. 2008-06-12 01:49:41 -05:00
dns.factor dns: Add stack-effects 2008-06-09 23:00:33 -05:00