diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-05 14:41:18 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2023-05-08 14:34:56 +0200 |
commit | acbac0174de3b8f18cdc549fa92cdf5957775086 (patch) | |
tree | 15c280818b39a53d706b483225250c662f190417 /config.yml | |
parent | ab406e3a4764ddef8afc6fbf261ecaeb9f16684a (diff) |
items: Add proxy item type
Diffstat (limited to 'config.yml')
-rw-r--r-- | config.yml | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -60,12 +60,13 @@ build: workspace-directory: workspace/rtems spec: cache-directory: cache - spec-type-root-uid: /spec/root paths: - spec-spec - spec - spec-glossary - modules/rtems/spec + resolve-proxies: true + spec-type-root-uid: /spec/root glossary: project-groups: - /glossary-general |