Merge requests · dumux-repositories / dumux

Fix/gridcreator gmsh parameters 1 of 1 checklist item completed

!185 · created Aug 24, 2016 by Timo Koch 3.0
Bug Fix Bug Report Dumux Day
- Merged
- 34
updated Jun 28, 2018
Fix/handbook 2.10 3 of 3 checklist items completed

!198 · created Sep 20, 2016 by Kilian Weishaupt 2.10
- Merged
- 1
updated Sep 27, 2016
Prepare for upstream version change from Dune 3.0 to 2.5

!200 · created Sep 22, 2016 by Christoph Grüninger 2.10
- Merged
- 2
updated Sep 23, 2016
remove stuff that has been deprecated before 2.9

!201 · created Sep 22, 2016 by Bernd Flemisch 2.10
Cleanup
- Merged
- 0
updated Sep 23, 2016
fix bug introduced in f51907b

!203 · created Sep 22, 2016 by Bernd Flemisch 2.10
- Merged
- 0
updated Sep 23, 2016