Doug Coleman
|
7c7bb93c55
|
factor: Rename GENERIC# to GENERIC#:.
Fixes #1670.
|
2017-06-01 13:58:58 -05:00 |
John Benediktsson
|
44bfc19e3b
|
tools.dns: enable use from command-line.
|
2015-04-01 14:18:31 -07:00 |
|
Doug Coleman
|
903f3d0a18
|
tools.dns: Fix using.
|
2013-11-16 17:55:45 -08:00 |
|
Doug Coleman
|
8085e4e6ef
|
dns: Add with-dns-servers to allow custom DNS lookups.
tools.dns: Add dns-host word to look up DNS from a specific server.
|
2013-11-16 17:12:30 -08:00 |
|
Doug Coleman
|
89c262982c
|
tools.dns: Show ipv6 ips in host command.
|
2012-10-22 09:47:36 -07:00 |
Slava Pestov
|
e90fd3b942
|
Fix usage note in dns vocab, move tools.dns from basis to extra since dns vocab is in extra
|
2011-02-25 21:08:00 -08:00 |