Skip to content

Doc cleanup#172

Merged
thanos merged 2 commits intomainfrom
doc_cleanup
Jan 29, 2026
Merged

Doc cleanup#172
thanos merged 2 commits intomainfrom
doc_cleanup

Conversation

@thanos
Copy link
Copy Markdown
Owner

@thanos thanos commented Jan 29, 2026

removed many docs to local_docs

@thanos thanos merged commit 0df79f5 into main Jan 29, 2026
6 checks passed
@thanos thanos deleted the doc_cleanup branch January 29, 2026 17:07
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