From c19df6b5624d06d1e3d2d3994412bcfae3c687ce Mon Sep 17 00:00:00 2001 From: Guo Ruijing Date: Wed, 12 Apr 2017 02:10:45 +0800 Subject: Fix git submodule for openretriever Change-Id: Iedc1bc40a57838225923c71a9097c814a2f9bbf9 Signed-off-by: Guo Ruijing --- docs/submodules/openretriever | 1 + docs/submodules/openretriever/.gitignore | 0 2 files changed, 1 insertion(+) create mode 160000 docs/submodules/openretriever delete mode 100644 docs/submodules/openretriever/.gitignore (limited to 'docs') diff --git a/docs/submodules/openretriever b/docs/submodules/openretriever new file mode 160000 index 000000000..efc22bdd2 --- /dev/null +++ b/docs/submodules/openretriever @@ -0,0 +1 @@ +Subproject commit efc22bdd2a21855255ed91ab6390fcedcaa01883 diff --git a/docs/submodules/openretriever/.gitignore b/docs/submodules/openretriever/.gitignore deleted file mode 100644 index e69de29bb..000000000 -- cgit 1.2.3-korg