Skip to content
Snippets Groups Projects
Select Git revision
  • 63251dd0061128f1f932ea70c17ebbb53b43c160
  • master default protected
  • dev-lkugler
  • teaching-2024
  • old_config_2023-05 protected
  • v2025.2
  • v2024.6
  • v2024.2.20
8 results

docs

Martin Weise's avatar
Martin Weise authored
Dev

See merge request !252
bad0293b
History
Name Last commit Last update
..