+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