search

PreTeXtBook / pretext

PreTeXt: an authoring and publishing system for scholarly documents
https://pretextbook.org
Other
268 stars 210 forks source link

Fix typo in comment #2296

Closed siefkenj closed 1 week ago

rbeezer commented 1 week ago

Thanks!