9 Sep
2018
9 Sep
'18
9:12 p.m.
On Tue, 4 Sep 2018 00:15:23 +0200 Henrik Austad henrik@austad.us wrote:
I don't really have an opinion to whether or not we /should/ have 00-INDEX, but the above 00-INDEX should either be removed or be kept up to date. If we should keep the files, I can try to keep them updated, but I rather not if we just want to delete them anyway.
As a starting point, remove all index-files and references to 00-INDEX and see where the discussion is going.
Applied, thanks.
jon