From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Mon, 24 May 2004 12:47:36 +0000 (+0000)
Subject: added hostname resolution entry
X-Git-Tag: V_0_0_9~3
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;ds=inline;h=fbd42b06a420b96fe1f341b72156f05ede768032;hp=fbd42b06a420b96fe1f341b72156f05ede768032;p=helm.git

added hostname resolution entry
---