2024-04-03T11:21:28Z - 2025-04-03T11:21:28Z

Overview

2 active pull requests
0 active issues
Excluding merges, 2 authors have pushed 10 commits to master and 14 commits to all branches. On master, 31 files have changed and there have been 188859 additions and 169 deletions.

2 pull requests merged by 1 user

Merged #2 Další reformulace specifikace 2025-03-06 10:07:11 +01:00

Merged #1 Explicitně upozornit na některé vlastnosti simulace 2025-03-06 08:38:25 +01:00