Merge branch 'feature/fix-doc' into 'master'
[doc] Fix doc in childextraction.hh
See merge request !38 (merged)
(cherry picked from commit 71202d61)
31aa234e [doc] Fix doc in childextraction.hh
[doc] Fix doc in childextraction.hh
See merge request !38 (merged)
(cherry picked from commit 71202d61)
31aa234e [doc] Fix doc in childextraction.hh