[ros-users] catkin_lint now available via packages.ros.org
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!
- - - - - - - - - - - -
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  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
> >  https://github.com/fkie/catkin_lint
> ros-users mailing list
> ros-users at lists.ros.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the ros-users