Add default DNS mappings
authorAdam Chlipala <adamc@hcoop.net>
Thu, 17 May 2007 20:23:52 +0000 (20:23 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Thu, 17 May 2007 20:23:52 +0000 (20:23 +0000)
commit6eeb3bf97e57bb0f4d0942b9dd436eeb493c1e9f
treec08f8d11c5e803895a82b117e45e3c984c8a4966
parent29920c9570c100225512efa41d276a4fd2ca5ef8
Add default DNS mappings
lib/bind.dtl
lib/easy_domain.dtl
src/plugins/bind.sml