This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Remove unused 'get_traversal' method

Details

Provenance

vlorentz	Authored on Sep 8 2022, 10:39 AM
vlorentz	Pushed on Sep 8 2022, 5:03 PM

Differential Revision

D8414: Remove unused 'get_traversal' method

Build Status

Buildable 31406
Build 49128: test-and-build	Jenkins console · Jenkins

This commit no longer exists in the repository.