On 9 January 2016 at 10:00, Christoph Lohmann <[email protected]> wrote: > On Sat, 09 Jan 2016 10:00:15 +0100 [email protected] wrote: >> commit 158910bee4a744e4b9fc20f73f0d62e47f50e19d >> Author: FRIGN <[email protected]> >> Date: Fri Jan 8 21:11:45 2016 +0100 >> >> Remove unnecessary tools landing-page >> >> We don't need this landing page. It just adds the task of synchronizing >> tool-descriptions on their respective pages and on this landing page. >> Anselm already made this clear 4 years ago >> (47bc43f388f763d3ac76761792682591a2552177). > > It is needed now and gives an easier overview of all tools.
The problem is that the tools overview is barely maintained. However I propose to keep it with an updated version for now. The best solution would be to come up with a preview indexer for swerc instead. Uriel did something like this once, but it seemed cumbersome. BR, Anselm
