Cleanup/Checkup for release 3.2 (!83) · Merge requests · dumux-repositories / dumux-course · GitLab

Merged Farid Mohammadi requested to merge fix/cleanup into master Mar 25, 2020

Closes #19 (closed) #20 (closed)

Edited Mar 31, 2020 by Gabi Seitz