tree fd140fe0d17aa524e67f2d21e3891b0609c31983
parent 0f562261426a9d58cabbf653cc3f0be4b0005bce
author Davide Pesavento <davidepesa@gmail.com> 1664868223 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1664946326 -0400

docs: fix capitalization in doxygen comments

Change-Id: Ie61b20a3dbfc847bc14523e507102fe6fe416908