Skip to content
GitLab

[discretization] Rename header methods.hh to method.hh

Merged Kilian Weishaupt requested to merge cleanup/methods-to-method into master