+1 thanks to Tully and Timo.

On 05/05/2014 11:23 AM, Timo Röhling wrote:
> Hello ROS users,
> 
> the catkin_lint tool [1] is also available in the packages.ros.org
> repository now and can be installed via "sudo apt-get install
> python-catkin-lint" without additional PPA sources. Special thanks go to
> Tully Foote for making this possible.
> 
> If you encounter any problems, please report them on the GitHub
> catkin_lint issue tracker.
> 
> Timo
> 
> 
> [1] https://github.com/fkie/catkin_lint
> 

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