improve documentation #30

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

jens-kuerten merged 5 commits into main from enhance-docs

May 23, 2025

Collaborator

jens-kuerten commented May 23, 2025 •

edited

Loading

add examples
extend "getting started" guide to include Codespaces
explain where to get the developer credentials
add search, code copy button and admonitions

Jens Kürten added 5 commits

May 23, 2025 12:17


          improve docs

5098cce


          fix grammar mistakes

83f56b4


          add missing target=_blank

d391852


          re-order sections

f86e22d


          remove toc from release note page

80165cd

jens-kuerten merged commit 1ae92e2 into main

4 checks passed

jens-kuerten deleted the enhance-docs branch

May 23, 2025 11:07

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet