Skip to content
Commit 06e5163e authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Merge branch 'save-and-reload-improvements' into 'master' 

Improve save and reload towards global scan (see: #62).

Closes #40 and #54

See merge request !106
parents b9e2c1b6 33079bda
Pipeline #6890 passed with stage
in 31 minutes and 42 seconds
Expand all Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment