github/gitignore — pull request #1045 by DaikiMaekawa (2014-04-17 12:15:13+00:00)
Title: Fixed that the ROS.gitignore was not functioning properly

Fixed the name of the excluded candidate