On Sun, Sep 11, 2016 at 12:15:28PM +0000, Mark Lumsden wrote: > > Maybe we should just not install it? Mark? > > A couple of years ago when the tutorial started being installed there > were no dissenting voices, so unless there are objections, I'd carry > on doing that. And Martin's diff makes sense I think. >
yes, OK florian@ I was a bit surprised that we have that file. I don't want to bikeshed this, Martin's work is much more important. > Mark -- I'm not entirely sure you are real.
