Changeset 4319cd1 in rtems-central

Timestamp:
10/23/20 09:01:51 (3 years ago)
Author:
Sebastian Huber <sebastian.huber@…>
Branches:
master
Children:
0355901
Parents:
7a76fae
Message:

specverify: Introduce SpecVerifier? class

(No files)

Note: See TracChangeset for help on using the changeset viewer.