aboutsummaryrefslogtreecommitdiff
path: root/ports/ompl/0002_Fix_config.patch
AgeCommit message (Expand)Author
2021-07-22[ompl] Fix linking using ${OMPL_LIBRARIES} (#18908)Akash