Skip to content

book simplifications#117

Merged
tschm merged 1 commit intomainfrom
115-use-minibook
Jun 30, 2025
Merged

book simplifications#117
tschm merged 1 commit intomainfrom
115-use-minibook

Conversation

@tschm
Copy link
Copy Markdown
Member

@tschm tschm commented Jun 30, 2025

No description provided.

@tschm tschm linked an issue Jun 30, 2025 that may be closed by this pull request
@tschm tschm merged commit e4413ee into main Jun 30, 2025
19 checks passed
@tschm tschm deleted the 115-use-minibook branch June 30, 2025 06:37
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.

Use minibook

1 participant