port to std::sort

Authored by mlaurent on Mar 10 2019, 10:04 AM.

Description

port to std::sort

Details

Committed
mlaurentMar 10 2019, 10:04 AM
Parents
R103:3f6c86e1f26d: Add search/filter bar
Branches
Unknown
Tags
Unknown