]> gitweb.factorcode.org Git - factor.git/history - extra/tools/dns/dns.factor
factor: Rename GENERIC# to GENERIC#:.
[factor.git] / extra / tools / dns / dns.factor
2017-06-01 Doug Colemanfactor: Rename GENERIC# to GENERIC#:.
2015-04-01 John Benediktssontools.dns: enable use from command-line.
2013-11-17 Doug Colemantools.dns: Fix using.
2013-11-17 Doug Colemandns: Add with-dns-servers to allow custom DNS lookups.
2012-10-22 Doug Colemantools.dns: Show ipv6 ips in host command.
2011-08-28 John BenediktssonMerge remote-tracking branch '8byte-jose/win32-unc...
2011-08-27 Joe GroffMerge remote-tracking branch 'Blei/gtk-image-loader'
2011-08-27 John BenediktssonMerge remote-tracking branch 'malu/semantic-versioning'
2011-08-27 John BenediktssonMerge remote-tracking branch 'blei/curses' into curses
2011-08-27 John BenediktssonMerge remote-tracking branch 'abeaumont/master'
2011-08-27 John BenediktssonMerge remote-tracking branch 'philip-searle/master'
2011-02-28 Slava PestovFix conflict
2011-02-27 John BenediktssonMerge branch 'master' of git://github.com/slavapestov...
2011-02-26 Doug ColemanMerge branch 'master' of git://factorcode.org/git/factor
2011-02-26 Slava PestovMerge branch 'doc-fixes' of git://github.com/keitahaga...
2011-02-26 Slava PestovFix usage note in dns vocab, move tools.dns from basis...