dev #15

Merged
WorldTeacher merged 3 commits from dev into main 2025-12-10 10:00:04 +00:00
Owner

fix mypy error, unify configs

fix mypy error, unify configs
WorldTeacher added 3 commits 2025-12-10 09:59:16 +00:00
WorldTeacher merged commit 798afdd512 into main 2025-12-10 10:00:04 +00:00
Sign in to join this conversation.
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: PHB/BibAPI#15