[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Chicken-users] egg-index-4
From: |
Evan Hanson |
Subject: |
Re: [Chicken-users] egg-index-4 |
Date: |
Fri, 24 Aug 2018 09:48:28 +1200 |
Hi Martin,
On 2018-06-25 13:14, Martin Schneeweis wrote:
> is there a way to change the following page:
>
> http://wiki.call-cc.org/chicken-projects/egg-index-4.html
>
> I assume this page is produced programmatically (no edit-link on top of
> the page)
It is, yeah. The info comes from the eggs themselves.
> The egg "environments" belongs to the category "Unsupported or
> redundant" (at least I assume so because
> http://bugs.call-cc.org/ticket/643 was merged into the master branch 7
> years ago)
That's right, and it was marked as obsolete a while back, but the
versioning of the egg was such that the new category wasn't picked up.
It should be fixed now, or rather the next time the page is generated.
Thanks for pointing that out!
Evan
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Re: [Chicken-users] egg-index-4,
Evan Hanson <=