diff options
author | 2017-07-11 14:30:27 +0000 | |
---|---|---|
committer | 2017-07-11 14:30:27 +0000 | |
commit | bc902aaa6f07241328f3e9b346eb2ba28dd7c309 (patch) | |
tree | cf1c0c489f3423428bf9e192079b5c34ff8e97d1 | |
parent | 89a8640bbaf61bd742844e8e8e2a57cbdc426d95 (diff) |
Update git submodules
* Update docs/submodules/pharos from branch 'master'
- Merge "Adding Labels"
- Adding Labels
Labels serve as anchors/ refs when referenced from other documents
This patch adds labels to docs/*/*/index.rst
Change-Id: I3dd866f0721b0c97d7c29fce0b275b29d0b2ddc8
Signed-off-by: ShubhamRathi <shubhamiiitbackup@gmail.com>
m--------- | docs/submodules/pharos | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/docs/submodules/pharos b/docs/submodules/pharos -Subproject 8c90b92f54a197b1177674589d42c884330b43a +Subproject 7cbe4e7447280d39fdb5a56b3d9a0fea437b5b1 |