mirror of https://github.com/Fabio286/mizar.git
2023-11-18T02:59:16Z - 2024-05-18T01:59:16Z
Overview
Excluding merges,
1 author
has pushed
2 commits
to master and
5 commits
to all branches.
On master,
5 files
have changed
and there have been
13 additions
and
5 deletions.
1 Release published by 1 user
Published
v1.3.0