From eaffca324946bba80474178821d522068670c5a5 Mon Sep 17 00:00:00 2001
From: agardner <agardner@linuxfoundation.org>
Date: Tue, 23 Jan 2018 11:26:38 -0500
Subject: Remove infra submodule dir, dir was not removed.

Dir must be removed when submodule is de-inited

Change-Id: Ied3aa418394108955fc3217f480fc3f2fdc76da6
Signed-off-by: agardner <agardner@linuxfoundation.org>
---
 docs/submodules/infra | 1 -
 1 file changed, 1 deletion(-)
 delete mode 160000 docs/submodules/infra

(limited to 'docs/submodules')

diff --git a/docs/submodules/infra b/docs/submodules/infra
deleted file mode 160000
index 70abc7826..000000000
--- a/docs/submodules/infra
+++ /dev/null
@@ -1 +0,0 @@
-Subproject commit 70abc782669332240354aad59d03c0fa7a7e2c51
-- 
cgit 1.2.3-korg