tree 590d115a0eeffba369b8f936c56cba9a72929a5e
parent b83d3df256a9aa7d50b19c8a2c14172b74a38378
author Davide Pesavento <davidepesa@gmail.com> 1666386007 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1667094324 -0400

docs: fix capitalization in doxygen comments

Change-Id: Ibf5ee5119d12d60d382b0acef8dfd08277c18fcb