Minor fix in -dhost param.
authorrich <rich>
Mon, 11 Sep 2006 10:01:07 +0000 (10:01 +0000)
committerrich <rich>
Mon, 11 Sep 2006 10:01:07 +0000 (10:01 +0000)
commit3d04d3b58504b9d294245f199aab4dc92ef204f4
tree24b4ac2fa3eed3dd52cb4ef69ee7d7865c00facc
parentded3641914702ae00bb500507407e830f590b184
Minor fix in -dhost param.
tools/copy_host.ml