tree e61c30cd2b38b60b93b5d9ab469e12eb72584643
parent 34e56eba78a5be27a7fea066b4cdb90b85495e0c
author Christopher Gerking <christopher.gerking@kit.edu> 1623318669 +0200
committer Christopher Gerking <christopher.gerking@kit.edu> 1631093116 +0200

[573449] More efficient GenModel traversal