Features in Educational
Dennis Nienhüser committed changes in [marble] /:
Replace the Measure Tool with the Measure Tool plugin.
GCI task by Mike Henning.
REVIEW: 103262
File Changes
Added 2 files
/plugins/render/measure
Deleted 2 files
/lib/layers
Modified 8 files
12 files changed in total