Closed wbhart closed 10 months ago
Just reminding that a PR has been merged (https://github.com/wbhart/flintwebpage/pull/1). Think the site needs to reload, but maybe my browser is displaying the site incorrectly.
I think the issue is that the website is no longer hosted from a git repository. I guess it has to be changed on the actual website.
I'll try to look into that.
On Fri, 10 Sept 2021 at 22:30, Albin Ahlbäck @.***> wrote:
Just reminding that a PR has been merged (wbhart/flintwebpage#1 https://github.com/wbhart/flintwebpage/pull/1). Think the site needs to reload, but maybe my browser is displaying the site incorrectly.
— You are receiving this because you authored the thread. Reply to this email directly, view it on GitHub https://github.com/wbhart/flint2/issues/996#issuecomment-917192581, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAB3HJRKBJVL77CKJNOH3LDUBJTF5ANCNFSM5DZ7KKCQ . Triage notifications on the go with GitHub Mobile for iOS https://apps.apple.com/app/apple-store/id1477376905?ct=notification-email&mt=8&pt=524675 or Android https://play.google.com/store/apps/details?id=com.github.android&referrer=utm_campaign%3Dnotification-email%26utm_medium%3Demail%26utm_source%3Dgithub.
I've now added doc links on the features and index page. I'll leave this ticket open though, as it may still be nice to make some of the titles on the features page into links, as William kind of suggests. I don't have time to do it right now.
I've added links to the source code for each module. Now that I've done it I realise I probably should have added doc links instead. The links I added were to @fredrik-johansson 's repo since that will become the canonical one eventually.
Anyway, I will now push this ticket to 2.10 so someone can add arb and antic links and maybe switch to doc links if that is preferred.
I see this as completed. There is a link at the top of https://flintlib.org/, and there is a link in the README as well, wihch I think is "lagom". Feel free to reopen if you disagree.
W Stein writes: