Revision 9c59e7cbe2bca02595b686c31679d40888a2e19b

Committed on 22/12/2020 9:15 am by Ramzi Arfaoui <ramzi_arfa@hotmail.de> [GitHub Diff]

improve subtree depth fir the search