Changeset 87b5457 in rtems-central

Timestamp:
07/16/20 10:16:19 (4 years ago)
Author:
Sebastian Huber <sebastian.huber@…>
Branches:
master
Children:
83fe0c2
Parents:
79568741
git-author:
Sebastian Huber <sebastian.huber@…> (07/16/20 10:16:19)
git-committer:
Sebastian Huber <sebastian.huber@…> (09/18/20 11:17:54)
Message:

specdoc: Make label prefix configurable

(No files)

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