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.