2025-08-10 - 2026-08-10

Overview

0 Active Pull Requests
1 Active Issue
Excluding merges, 2 authors have pushed 48 commits to master and 48 commits to all branches. On master, 965 files have changed and there have been 157423 additions and 57283 deletions.

1 Issue created by 1 user

Opened #11 org: export to latex -> as PDF-article file 2025-08-28 19:49:34 +02:00