Changeset 7418d29 in rtems-central


Ignore:
Timestamp:
Oct 7, 2020, 6:15:40 AM (10 months ago)
Author:
Sebastian Huber <sebastian.huber@…>
Branches:
master
Children:
8b56752
Parents:
ddd6f40
git-author:
Sebastian Huber <sebastian.huber@…> (10/07/20 06:15:40)
git-committer:
Sebastian Huber <sebastian.huber@…> (10/08/20 06:47:34)
Message:

config.yml: Generate Partition Manager doc

File:
1 edited

Legend:

Unmodified
Added
Removed
  • config.yml

    rddd6f40 r7418d29  
    105105  group: /rtems/event/if/group
    106106  introduction-target: modules/rtems-docs/c-user/event/introduction.rst
     107- directives-target: modules/rtems-docs/c-user/partition/directives.rst
     108  group: /rtems/part/if/group
     109  introduction-target: modules/rtems-docs/c-user/partition/introduction.rst
    107110spec-verification:
    108111  root-type: /spec/root
Note: See TracChangeset for help on using the changeset viewer.