Skip to content

Fix typo and adjust some references#1750

Merged
ranocha merged 1 commit intotrixi-framework:mainfrom JoshuaLampert:typo-docsNov 22, 2023

Commits