Skip to content

Rename manual file to dune-functions-bases.tex

Oliver Sander requested to merge rename-manual into master

Because it really only covers the bases, and not the functions.

Merge request reports