2025-06-16 - 2025-12-16
Overview
Excluding merges,
1 author
has pushed
14 commits
to master and
23 commits
to all branches.
On master,
18 files
have changed
and there have been
1423 additions
and
30 deletions.
2 Pull requests merged by 1 user
Merged
#2 Purely documentation and typing, let's try
Merged
#1 modularise?