catkin/catkin_tools — pull request #46 by jbohren (2014-05-19 21:52:06+00:00)
Title: build: changing behavior to merge develspace

This patch makes the following changes:
- Makes the default build behavior merge all develspaces
- Removes the --merge-devel argument
- Creates a new argument: --isolate-devel = 'not --merge-devel'