diff options
author | ShubhamRathi <shubhamiiitbackup@gmail.com> | 2017-03-21 00:52:02 +0530 |
---|---|---|
committer | Shubham Rathi <shubhamiiitbackup@gmail.com> | 2017-03-20 19:26:23 +0000 |
commit | 86879954e4c2636c5cf71d3539a1b2a356e66b68 (patch) | |
tree | 0d454746e011d1c77e7978d83ef426e5e19c5d6e /docs | |
parent | 3420d7729ca76d7f5fa0a92cef94830a16cbad2e (diff) |
Removed openretriever off submodules
Change-Id: Iea4f3f579e837bc4ff199a65b717be28113de2ef
Signed-off-by: ShubhamRathi <shubhamiiitbackup@gmail.com>
Diffstat (limited to 'docs')
m--------- | docs/submodules/openretriever | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/openretriever b/docs/submodules/openretriever deleted file mode 160000 -Subproject 14592c93aa4dd318edd686394bd13a8880c2219 |