diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-03 07:47:06 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-12-04 13:32:33 +0100 |
commit | 8cd472ec9d60cff432af48c925dea8bbb652a574 (patch) | |
tree | 9a4f7f419b96895402f439b1d2a99e6f25de01dd /spec/rtems/intr/if/is-shared.yml | |
parent | spec: Move scheduler API to own header (diff) | |
download | rtems-central-8cd472ec9d60cff432af48c925dea8bbb652a574.tar.bz2 |
spec: Move Interrupt Manager directives
Diffstat (limited to 'spec/rtems/intr/if/is-shared.yml')
-rw-r--r-- | spec/rtems/intr/if/is-shared.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/spec/rtems/intr/if/is-shared.yml b/spec/rtems/intr/if/is-shared.yml index 287bf45c..aa9f1ee5 100644 --- a/spec/rtems/intr/if/is-shared.yml +++ b/spec/rtems/intr/if/is-shared.yml @@ -13,7 +13,7 @@ index-entries: [] interface-type: macro links: - role: interface-placement - uid: header-2 + uid: header - role: interface-ingroup-hidden uid: group - role: constraint |