diff options
| author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-05-25 09:52:00 +0200 |
|---|---|---|
| committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-05-28 10:38:23 +0200 |
| commit | 8821c7d4313148585caaf6f93e85346537746587 (patch) | |
| tree | 6eedae16d1e957de7a3628d78c4e053d92ea1ec7 /config.yml | |
| parent | spec: Add specification of interface group items (diff) | |
| download | rtems-central-8821c7d4313148585caaf6f93e85346537746587.tar.bz2 | |
Rename interface attributes
Diffstat (limited to 'config.yml')
| -rw-r--r-- | config.yml | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -84,7 +84,7 @@ interface: - /if/build-options/domain - /if/compiler/domain - /if/use/domain - interface-domains: + domains: rtems: external/rtems spec-verification: root-type: /spec/root |