classroom/roles/winroom
polz113 23f224c92b
Merge pull request #2 from mrcinv/bump-julia-10.4
Bump version of Julia to 10.4
2024-08-05 15:48:26 +02:00
..
defaults Initial commit erasing history 2024-06-01 00:49:52 +02:00
tasks Merge pull request #2 from mrcinv/bump-julia-10.4 2024-08-05 15:48:26 +02:00