Re: [ros-users] Announcing catkin_lint tool

Top Page
Attachments:
Message as email
+ (text/plain)
Delete this message
Reply to this message
Author: Martin Günther
Date:  
To: ros-users
Subject: Re: [ros-users] Announcing catkin_lint tool
On Wed, 12 Mar 2014 14:17:11 +0100
Nikolaus Demmel <> 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

http://lists.ros.org/mailman/listinfo/ros-users