orajput / moveit_merge

Scripts for merging moveit

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Merge Script for Combining MoveIt!

Also contains the new README.md and other configurations to be copied into the unified MoveIt! repo

About

Scripts for merging moveit


Languages

Language:Shell 100.0%