Closed jvarley closed 8 years ago
I am worried about the complete deletion of the source directory each time graspit.pro is missing. This could lead to loosing changes forever. What happens if git clone is called on a dirty directory?
The source dir should be deleted only when cleaning.
graspit-ros now pulls from the master branch of graspit.