Skip to content

docs: Remove useless doc comment - #392

Merged
waywardmonkeys merged 1 commit into
projectfluent:mainfrom
danielrainer:remove_useless_doc_comment
Nov 10, 2025
Merged

docs: Remove useless doc comment#392
waywardmonkeys merged 1 commit into
projectfluent:mainfrom
danielrainer:remove_useless_doc_comment

docs: Remove useless doc comment

f36355e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view