diff options
author | ToineSiebelink <toine.siebelink@est.tech> | 2021-10-21 12:11:25 +0100 |
---|---|---|
committer | Toine Siebelink <toine.siebelink@est.tech> | 2021-10-28 10:08:00 +0000 |
commit | b97d13cd99b585ea1f77d3662028e6c651e945b8 (patch) | |
tree | f9d707c991da3953162754ebc3f4300cf941f7ae /.gitignore | |
parent | c255982337ee594141c4be0fb6151c4ca4fba738 (diff) |
Prepare for links accross different name-spaces
-add intersphinx mapping
-add labels for re-use in other CPS components
Issue-ID: CPS-721
Signed-off-by: ToineSiebelink <toine.siebelink@est.tech>
Change-Id: Ib45716e75f85bd3ba28295ffe79db95e3575daaa
(cherry picked from commit 39207857709df915719f1f3e4dbe7f84b9ff825c)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions