dof_manager_mu…01e5634d792c79adbfdcbde…

Dec 12 2019

tidied and formated version
507f7dbccbdf
·richart on Dec 12 2019, 15:38.
some cleaning to many class in the same file
3889358d690a
·richart on Dec 12 2019, 13:57.