diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-15 16:02:31 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-09-15 16:04:28 +0200 |
commit | 4bbde5added4e0b9ee1514133e68f593f6cc2a9e (patch) | |
tree | e25d0341f1c0e70a0e35f3b6d5ca21af0a51d22d /spec/dev/grlib/if/gptimer-header.yml | |
parent | spec: Fix interface placement (diff) | |
download | rtems-central-4bbde5added4e0b9ee1514133e68f593f6cc2a9e.tar.bz2 |
spec: Clarify /c/if/domain
Diffstat (limited to 'spec/dev/grlib/if/gptimer-header.yml')
0 files changed, 0 insertions, 0 deletions