67-change-in-stl…7085e4eba3cb6bdc76ba56c…

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.