#
# DO NOT EDIT - Automatically generated by 'gformat'
# Generated at Fri Jul 27 12:05:18 2012 by tyan.wirelessleiden.nl from r11358
#

search wleiden.net

# Try local (cache) first
nameserver 127.0.0.1

nameserver 8.8.8.8   # Google Public NameServer
nameserver 8.8.4.4   # Google Public NameServer