From 43958418fccc41d1870da63592dce39902626a3a Mon Sep 17 00:00:00 2001 From: Ian Young Date: Mon, 1 Aug 2016 15:28:11 +0100 Subject: [PATCH] Remove known hosts file (now server configuration rather than tooling). --- build.xml | 2 -- build/known_hosts | 2 -- 2 files changed, 4 deletions(-) delete mode 100644 build/known_hosts diff --git a/build.xml b/build.xml index c0aa87c7..92bb2e89 100644 --- a/build.xml +++ b/build.xml @@ -250,8 +250,6 @@ --> - -