Documentation: fix warning

This commit is contained in:
raiden00pl 2023-10-29 16:45:46 +01:00 committed by Xiang Xiao
parent b7f94fbf22
commit afa2be4a1e