Skip to content
Snippets Groups Projects
Commit 00bbe314 authored by Kirill Stytsenko's avatar Kirill Stytsenko
Browse files

Disable "Save without execution" 

We don't need this according to Moritz, AFAIK


Former-commit-id: 3d486776
parent e963e9a3
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment