Fix DOKS section

Signed-off-by: Javier Ruiz <japi@kolokium.com>
This commit is contained in:
Javier Ruiz 2023-05-01 19:52:43 +02:00 committed by Dave Enyeart
parent 3eaabe789c
commit 74c48ec5aa