Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
use boost::timer::progress_display if available
check for header to stay compatible with ubuntu 20.04. Support boost >= 1.83 Slightly ugly due to the double alias, but boost::timer was a class before 1.72, so using `boost::timer::progress_display` in the code breaks with older versions. cherry-pick of #3547 from MoveIt1
- Loading branch information