Skip to content

Updated bookmarksdepth#19

Merged
wallscheid merged 1 commit intomainfrom
bookmark-issue
Oct 24, 2025
Merged

Updated bookmarksdepth#19
wallscheid merged 1 commit intomainfrom
bookmark-issue

Conversation

@pradyumna17
Copy link
Collaborator

Generated pdfs now show bookmarks as before

@wallscheid wallscheid merged commit abf98fe into main Oct 24, 2025
3 checks passed
@pradyumna17 pradyumna17 deleted the bookmark-issue branch October 24, 2025 21:54
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.

2 participants