fix(typesetting): correct library name in translated document#86

Merged

awwaawwa merged 1 commit intomainfrom develop

Feb 11, 2025

+1-1

Commits on Feb 11, 2025

fix(typesetting): correct library name in translated document
awwaawwa
committed