diff options
author | Frank Kühndel <frank.kuehndel@embedded-brains.de> | 2021-05-14 11:03:59 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2021-05-17 06:45:11 +0200 |
commit | fa868b296ccd63a76da3d30c2e988a15f1d16bb5 (patch) | |
tree | 1aed6d93f36827c0c0ad5899fca4c01d8a5156b8 /.gitmodules | |
parent | spec: Add spec for rtems_timer_server_fire_after() (diff) | |
download | rtems-central-fa868b296ccd63a76da3d30c2e988a15f1d16bb5.tar.bz2 |
spec: Add spec for rtems_timer_server_fire_when()
Adding a specification item to rtems-central for the directive
rtems_timer_server_fire_when() of the timer manager. This item
uses the timer specific glossary terms, too.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions