2024-07-23 - 2025-01-23
Overview
Excluding merges,
2 authors
have pushed
11 commits
to master and
11 commits
to all branches.
On master,
13 files
have changed
and there have been
265 additions
and
112 deletions.
3 Releases published by 1 user
Published
v1.0.6.0
Published
v1.0.5.0
Published
v1.0.4.0
1 Pull request merged by 1 user
Merged
#9 Add a few missing instances
1 Issue closed from 1 user
Closed
#7 Copyright and upper bounds
1 Issue created by 1 user
Opened
#8 Add a README