From 5b1dafc59d97e0854b2070fc64813196e7a9b0d7 Mon Sep 17 00:00:00 2001 From: Steve Perry Date: Wed, 14 Feb 2018 14:42:50 -0800 Subject: [PATCH] Remove extraneous file. (#7406) --- docs/user-guide/federation/tmp/a | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 docs/user-guide/federation/tmp/a diff --git a/docs/user-guide/federation/tmp/a b/docs/user-guide/federation/tmp/a deleted file mode 100644 index e69de29bb2..0000000000