Commit be077c4
committed
Remove obsolete placeholder for
This is already handled by an alias in `content/tools/gui/_index.html`.
Even more importantly: it broke the redirection of `download/` because
`content/download/` lacks an `_index.html` file.
This fixes #2111.
Signed-off-by: Johannes Schindelin <[email protected]>download/gui
1 parent 41929ee commit be077c4
1 file changed
+0
-3
lines changedThis file was deleted.
0 commit comments