Hi Petter,
> Because there were nothing non-free in it at the moment, and it was only
^^^^^^^^^^^^^
> around 50k in size. Thus I did not see the point of removing it.
I'm still a little confused. It was surely the same effort to remove?
And, as I highlight above, a new version might contain different files
in this directory?
Best wishes,
--
,''`.
: :' : Chris Lamb
`. `'` [email protected] / chris-lamb.co.uk
`-
