docs: restore archived boards
Archived boards are no longer supported but are cross-referenced from the docs.git repository, and therefore must be present in the index to link correctly.
Signed-off-by: Zygmunt Krynicki zygmunt.krynicki@huawei.com
Archived boards are no longer supported but are cross-referenced from the docs.git repository, and therefore must be present in the index to link correctly.
Signed-off-by: Zygmunt Krynicki zygmunt.krynicki@huawei.com
approved this merge request
approved this merge request
started a merge train
merged
mentioned in commit 3b476d2a
Copyright © Eclipse Foundation, Inc. All Rights Reserved. Privacy Policy | Terms of Use | Copyright Agent