Skip to content

TEI for indexes generated and included in volume files#398

Merged
joewiz merged 2 commits intomasterfrom
new-indexes-2025
Dec 15, 2025
Merged

TEI for indexes generated and included in volume files#398
joewiz merged 2 commits intomasterfrom
new-indexes-2025

Conversation

@vak2ve
Copy link
Contributor

@vak2ve vak2ve commented Dec 15, 2025

@joewiz indexes TEI included!

@joewiz joewiz merged commit 35cbb81 into master Dec 15, 2025
@joewiz joewiz deleted the new-indexes-2025 branch December 15, 2025 22:03
@joewiz
Copy link
Member

joewiz commented Dec 15, 2025

🎉 This PR is included in version 1.0.12 🎉

The release is available on GitHub release

Your semantic-release bot 📦🚀

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants