Skip to content

Commit

Permalink
Fix docs build
Browse files Browse the repository at this point in the history
  • Loading branch information
wallento committed Apr 13, 2017
1 parent 345e0dc commit c311071
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions doc/api/index.rst
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ API Documentation
doxygen/group/group__system
doxygen/group/group__tracing
doxygen/group/group__libbaremetal
doxygen/group/group__libmp
doxygen/group/group__libruntime


Expand Down

0 comments on commit c311071

Please sign in to comment.