Skip to content
Commit f88b71d8 authored by Giacomo Mulas's avatar Giacomo Mulas
Browse files

Merge branch 'magma_refinement' into 'master' 

Magma refinement

See merge request giacomo.mulas/np_tmcode!72
parents 311d62e5 1487499d
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