Closed lgoettgens closed 4 months ago
The small "Edit this page" button in the left sidebar of https://book.oscar-system.org/ references https://github.com/oscar-system/oscar-website/edit/gh-pages/index.md instead of this repo.
The small "Edit this page" button in the left sidebar of https://book.oscar-system.org/ references https://github.com/oscar-system/oscar-website/edit/gh-pages/index.md instead of this repo.