Skip to content
Snippets Groups Projects
Select Git revision
  • dev-lkugler
  • master default protected
  • teaching-2024
  • old_config_2023-05 protected
  • v2025.2
  • v2024.6
  • v2024.2.20
7 results
Compare
Kirill Stytsenko's avatar
Disable "Save without execution"
Kirill Stytsenko authored 
We don't need this according to Moritz, AFAIK


Former-commit-id: 3d486776
00bbe314
History
Kirill Stytsenko's avatar 00bbe314
History
Name Last commit Last update
..