Closed edom closed 5 years ago
Thanks. I'm traveling with a too small device for overview. Will look at it later in the week.
Merged. After external rebase, which github doesn't see. Also added an additional patch to link it ll back together in the menu. Thanks.
This is a part of https://github.com/SWI-Prolog/swipl-devel/pull/459
The next pull request in this series will modify plweb/page.pl to update the top menus to link to community.txt