Skip to content

add link from docs back to repo

Thomas Gruber requested to merge github/fork/ranocha/patch-1 into main

Created by: ranocha

This is often useful if people find the docs via some search engine and want to see the code.

Merge request reports

Loading