diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-11-12 13:05:50 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-11-12 13:34:00 +0100 |
commit | ee2409fcbbc256ab4e1ba8d8d31b2a5385f3ffbc (patch) | |
tree | 80b4115ce7a7c3fcf783e64c96b6e79f7a47e83f /spec2modules.py | |
parent | spec: Fix rtems_clock_get_ticks_per_second() (diff) | |
download | rtems-central-ee2409fcbbc256ab4e1ba8d8d31b2a5385f3ffbc.tar.bz2 |
specdoc/specverify: Support values of any type
Diffstat (limited to 'spec2modules.py')
0 files changed, 0 insertions, 0 deletions