Skip to content

GitLab

Commit 1a0a76dd authored by Jan Möbius's avatar Jan Möbius
Browse files
Options

Merge branch 'rename_property_manager_factories' into 'master' 

rename PropertyManager factory functions

See merge request !193
parents 19bd618a ab12d50e
Pipeline #7967 passed with stages
      in 77 minutes and 56 seconds