On Wed, Apr 3 2024 at 09:47:05 PM -05:00:00, Brandon Stewart
<[email protected]> wrote:
I did copy the documentation over a year ago, but anything added
there since then would be missing on docs.webkit.org.
Perhaps we should just turn off the wiki to prevent more stuff from
being added by mistake? Anybody still need the GitHub wiki? It's really
best to have just one place for our docs.
_______________________________________________
webkit-dev mailing list
[email protected]
https://lists.webkit.org/mailman/listinfo/webkit-dev
