Remove known hosts file (now server configuration rather than tooling).

InCommon · Aug 1, 2016 · 4395841 · 4395841
1 parent 497e309
commit 4395841
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/build.xml b/build.xml
@@ -250,8 +250,6 @@
     -->
     <property name="keystore.uk.vfy.alias" value="ukfederation"/>
 
-    <property name="known.hosts" value="${build.dir}/known_hosts"/>
-
     <!--
         Java memory requirements.
 

diff --git a/build/known_hosts b/build/known_hosts
-Original file line number
+Diff line change
@@ Expand Up / @@ -250,8 +250,6 @@ @@
         -->
         <property name="keystore.uk.vfy.alias" value="ukfederation"/>
-        <property name="known.hosts" value="${build.dir}/known_hosts"/>
         <!--
             Java memory requirements.
@@ Expand Down @@