summaryrefslogtreecommitdiff
path: root/doc/sphinx/kernel_include.py
AgeCommit message (Expand)Author
2019-06-20doc: Remove duplicated documentation directoryBreno Matheus Lima