Re: [ros-users] Announcing catkin_lint tool

On Wed, 12 Mar 2014 14:17:11 +0100
Nikolaus Demmel <demmeln@in.tum.de> wrote:

> Yes, this tool is great, thank you Timo.
>
> @Martin: Have you tried the —explain command line option?

Thanks for the tip, just what I was looking for! :-)

Cheers,
Martin
_______________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users