Skip to content

Minor cleanup of documentation#195

Merged
jni merged 2 commits into
mainfrom
docs-cleanup
Jan 30, 2023
Merged

Minor cleanup of documentation#195
jni merged 2 commits into
mainfrom
docs-cleanup

Conversation

@jni

@jni jni commented Jan 30, 2023

Copy link
Copy Markdown
Owner
  • Remove documentation of removed GUI function
  • Add a bit more narrative to index pages

@jni
jni merged commit 8b622ae into main Jan 30, 2023
@jni
jni deleted the docs-cleanup branch January 30, 2023 12:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant