Yuri Victorovich a16ed29fc8 misc/ompl: Update 1.4.2 -> 1.5.0 ... Also update WWW.		2020-10-13 03:34:37 +00:00
..
files	misc/ompl: Update 1.4.2 -> 1.5.0	2020-10-13 03:34:37 +00:00
distinfo	misc/ompl: Update 1.4.2 -> 1.5.0	2020-10-13 03:34:37 +00:00
Makefile	misc/ompl: Update 1.4.2 -> 1.5.0	2020-10-13 03:34:37 +00:00
pkg-descr	misc/ompl: Update 1.4.2 -> 1.5.0	2020-10-13 03:34:37 +00:00
pkg-plist	misc/ompl: Update 1.4.2 -> 1.5.0	2020-10-13 03:34:37 +00:00