[Dune-devel] The dev meeting minutes

[Christian Engwer]

Hi Oli,

> In particular, in the notes it said that we decided to rename the leafView()
> method to leafGridView().  However, as I remember it we later changed our
> mind and decided to keep the method name as it is, and rename the corresponding
> exported type LeafGridView to LeafView.  I changed the notes accordingly.
> Are there any objections?

actually I don't remember this later change. I recall it the same way
as Christoph noted it. Which again is no guarantee on anything...

Ciao
Christian