diff options
author | ToineSiebelink <toine.siebelink@est.tech> | 2021-10-21 12:11:25 +0100 |
---|---|---|
committer | ToineSiebelink <toine.siebelink@est.tech> | 2021-10-21 12:20:12 +0100 |
commit | 39207857709df915719f1f3e4dbe7f84b9ff825c (patch) | |
tree | 0fdbecd1f11a7828bee2f88e7f505a40becbb2ba /.gitignore | |
parent | c2538d3272d7c93aba3bdc6cd0c81aff9afb9a79 (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
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions