Commit 3a072607 authored by Jan Möbius's avatar Jan Möbius

Merge branch 'propmgr' into 'master'

Propmgr

Added some more convenience to the PropertyManager class.

See merge request !85
parents ffba4767 f08f96eb
Pipeline #2759 passed with stage
in 21 minutes and 29 seconds