[ros-users] catkin_lint now available via packages.ros.org
Adam Leeper
adamleeper at gmail.com
Wed May 7 16:27:40 UTC 2014
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 at 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 at lists.ros.org
> http://lists.ros.org/mailman/listinfo/ros-users
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ros.org/pipermail/ros-users/attachments/20140507/533c2b18/attachment.html>
More information about the ros-users
mailing list