On Tue, 4 Sep 2018 00:15:23 +0200 Henrik Austad <hen...@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
