Added ignore for files created by `catkin_make_isolated`
4162c93865c8
Actions

Authored by Felix Divo <felixdivo@users.noreply.github.com> on Jan 26 2018, 11:32.

Description

Added ignore for files created by catkin_make_isolated

Simply execute catkin_make_isolated and build and devel will have different names, but should be ignored as well.

Committed

GitHub <noreply@github.com>

Jan 26 2018, 11:32

Pushed

aubort

Jul 2 2018, 16:12

Parents

Branches

Unknown

Tags

Unknown

GitHub <noreply@github.com> committed rGITIGNORE4162c93865c8: Added ignore for files created by `catkin_make_isolated` (authored by Felix Divo <felixdivo@users.noreply.github.com>).Jan 26 2018, 11:32

				Path
	M			ROS.gitignore