mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-04 15:45:25 +02:00
[166156] fix for performance problem in getting sorted selection
This commit is contained in:
parent
6e479efcc0
commit
bb0c6a1fe1