Skip to content

Fix typo and adjust some references#1750

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

Commits

Commits on Nov 21, 2023