[ros-diffs] [jgardou] 53117: [CMAKE] remove useless file