Just to add to the noise, I have to say this package is really useful.
Thank you all!
- - - - - - - - - - - -
Adam Leeper
650.ROBOT.44
On Tue, May 6, 2014 at 11:41 PM, Georg Bartels <
georg.bartels@cs.uni-bremen.de> wrote:
> +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
>
_______________________________________________
ros-users mailing list
ros-users@lists.ros.org
http://lists.ros.org/mailman/listinfo/ros-users