staff/wgh1/DNSqueries.git
2017-05-09 Hansjürg Wengerremoved some unnecessary lines of code master
2017-02-22 Hansjürg Wengerupdated some comments
2016-11-22 Hansjürg WengerAdded usage comment, updated (c)
2016-11-22 Hansjürg WengerAdded usage comment, updated (c)
2015-05-12 Hansjürg Wengerminor modifications
2013-05-14 Hansjürg Wengeradded class file
2013-05-14 Hansjürg Wengermodified DNSqueries.java, added loop and some comment
2013-05-14 Hansjürg Wenger(no commit message)
2013-05-14 Hansjürg Wengerinitial import