summaryrefslogtreecommitdiffstats
path: root/config.yml
diff options
context:
space:
mode:
Diffstat (limited to 'config.yml')
-rw-r--r--config.yml1
1 files changed, 1 insertions, 0 deletions
diff --git a/config.yml b/config.yml
index debeac79..cf188b05 100644
--- a/config.yml
+++ b/config.yml
@@ -100,3 +100,4 @@ spec-verification:
spec-documentation:
root-type: /spec/root
doc-target: modules/rtems-docs/eng/req/items.rst
+ label-prefix: SpecType