Rename logging doc

This commit is contained in:
Mario Zechner 2025-07-20 22:08:28 +02:00
parent 1efd045a83
commit 6a621f0cc1