Skip to content

Minor improvements in appearance - #66

Merged
EmanuelSommer merged 2 commits into
mainfrom
improve-docs
Jan 13, 2026
Merged

Minor improvements in appearance#66
EmanuelSommer merged 2 commits into
mainfrom
improve-docs

Conversation

@EmanuelSommer

Copy link
Copy Markdown
Collaborator
  • improve docs
  • clean up top level files

@EmanuelSommer EmanuelSommer self-assigned this Jan 13, 2026
@EmanuelSommer EmanuelSommer added the documentation Improvements or additions to documentation label Jan 13, 2026
@EmanuelSommer
EmanuelSommer merged commit a306921 into main Jan 13, 2026
5 checks passed
@EmanuelSommer
EmanuelSommer deleted the improve-docs branch January 13, 2026 09:23
github-actions Bot pushed a commit that referenced this pull request Jan 13, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants