Skip to content

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

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

Merge request reports