]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9de7b67) | patch
dns: Add with-dns-servers to allow custom DNS lookups.
authorDoug Coleman <doug.coleman@gmail.com>
Sun, 17 Nov 2013 01:11:10 +0000 (17:11 -0800)
committerDoug Coleman <doug.coleman@gmail.com>
Sun, 17 Nov 2013 01:12:30 +0000 (17:12 -0800)
commit8085e4e6ef7132524f4b76aa48c6e5d1183ec174
tree39f8581df67b781191efbab6f27aa80b8c3ab133tree | snapshot
parent9de7b674722b4ff5348f3f8b9bf57c2f88a7b371commit | diff
dns: Add with-dns-servers to allow custom DNS lookups.
tools.dns: Add dns-host word to look up DNS from a specific server.
extra/dns/dns.factor diff | blob | history
extra/tools/dns/dns.factor diff | blob | history
Factor programming language