Skip to content

Draft: Do not prompt for saving workspace, when only symbols like .Random.Seed have changed.

Thomas Friedrichsmeier requested to merge work/ignore_some_symbols_modified into master

This PR is broken in its current form, but still relevant.

Merge request reports