Closed waldyrious closed 1 year ago
The playground at https://djot.net/playground/ currently points to https://github.com/jgm/djot-playground, but since the code behind it has been replaced, it should instead point to https://github.com/jgm/djot/tree/main/clib/web (which might benefit from a README, btw).
Also, the README and website field of https://github.com/jgm/djot-playground should probably be updated as well to avoid giving people the wrong idea.
Done.
The playground at https://djot.net/playground/ currently points to https://github.com/jgm/djot-playground, but since the code behind it has been replaced, it should instead point to https://github.com/jgm/djot/tree/main/clib/web (which might benefit from a README, btw).
Also, the README and website field of https://github.com/jgm/djot-playground should probably be updated as well to avoid giving people the wrong idea.