2023-09-16T19:34:15Z - 2024-09-16T19:34:15Z
Overview
Excluding merges,
1 author
has pushed
73 commits
to main and
74 commits
to all branches.
On main,
57 files
have changed
and there have been
1175 additions
and
266 deletions.
3 issues closed from 1 user
Closed
#3 cflags
Closed
#2 latex: tagged pdf
Closed
#1 latex(document): quotes